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