16 CtrType m_type = LessOrEqual;
20 TempQCtr(
QuadExpr<Var>&& t_expr, CtrType t_type) : m_expr(std::move(t_expr)), m_type(t_type) {}
22 TempQCtr(
const TempQCtr& t_src) =
default;
24 TempQCtr(TempQCtr&&)
noexcept =
default;
26 TempQCtr& operator=(
const TempQCtr& t_rhs) =
default;
28 TempQCtr& operator=(TempQCtr&&)
noexcept =
default;
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; }