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;