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; }