28 friend class impl::Env;
30 SOSCtr(
Env& t_env,
bool t_is_sos1, std::vector<Var> t_vars, std::vector<double> t_weights, std::string t_name =
"");
32 static SOSCtr SOS1(
Env& t_env, std::vector<Var> t_vars, std::vector<double> t_weights, std::string t_name =
"") {
33 return SOSCtr(t_env,
true, std::move(t_vars), std::move(t_weights), std::move(t_name));
36 static SOSCtr SOS2(
Env& t_env, std::vector<Var> t_vars, std::vector<double> t_weights, std::string t_name =
"") {
37 return SOSCtr(t_env,
false, std::move(t_vars), std::move(t_weights), std::move(t_name));
40 [[nodiscard]]
unsigned int index(
const Model& t_index)
const;