20 QCtrVersion(
unsigned int t_index,
TempQCtr&& t_temp_ctr);
22 QCtrVersion(
unsigned int t_index,
const TempQCtr& t_temp_ctr);
24 QCtrVersion(
unsigned int t_index,
QuadExpr<Var>&& t_expr, CtrType t_type)
26 m_expr(std::move(t_expr)),
30 QCtrVersion(
unsigned int t_index, CtrType t_type)
35 QCtrVersion(
const QCtrVersion& t_src) =
default;
37 [[nodiscard]] CtrType type()
const {
return m_type; }
39 void set_type(CtrType t_type) { m_type = t_type; }
43 [[nodiscard]]
const QuadExpr<Var>& expr()
const {
return m_expr; }
45 void set_expr(
QuadExpr<Var>&& t_expr) { m_expr = std::move(t_expr); }