16    CtrType m_type = LessOrEqual;
 
   32    [[nodiscard]] 
const QuadExpr<Var>& expr()
 const { 
return m_expr; }
 
   34    [[nodiscard]] CtrType type()
 const { 
return m_type; }
 
   36    void set_expr(
QuadExpr<Var>&& t_expr) { m_expr = std::move(t_expr); }
 
   38    void set_type(CtrType t_type) { m_type = t_type; }