Searched refs:CSPMulTerm (Results 1 – 5 of 5) sorted by relevance
383 CSPMulTerm::CSPMulTerm(CSPMulTerm &&) = default;384 CSPMulTerm &CSPMulTerm::operator=(CSPMulTerm &&) = default;386 CSPMulTerm::CSPMulTerm(UTerm &&var, UTerm &&coe) in CSPMulTerm() function in Gringo::CSPMulTerm398 void CSPMulTerm::replace(Defines &x) { in replace()402 bool CSPMulTerm::operator==(CSPMulTerm const &x) const { in operator ==()414 size_t CSPMulTerm::hash() const { in hash()418 bool CSPMulTerm::hasPool() const { in hasPool()421 std::vector<CSPMulTerm> CSPMulTerm::unpool() const { in unpool()422 std::vector<CSPMulTerm> value; in unpool()432 CSPMulTerm::~CSPMulTerm() { } in ~CSPMulTerm()[all …]
175 struct CSPMulTerm { struct176 CSPMulTerm(UTerm &&var, UTerm &&coe);177 CSPMulTerm(CSPMulTerm &&x);178 CSPMulTerm &operator=(CSPMulTerm &&x);188 ~CSPMulTerm();197 struct clone<CSPMulTerm> {198 CSPMulTerm operator()(CSPMulTerm const &x) const;207 using Terms = std::vector<CSPMulTerm>;209 CSPAddTerm(CSPMulTerm &&x);213 void append(CSPMulTerm &&x);[all …]
37 inline CSPMulTerm cspmul(UTerm &&coe, UTerm &&var = nullptr) { in cspmul()38 return CSPMulTerm(std::move(var), std::move(coe)); in cspmul()44 inline void cspadd(CSPAddTerm &add, CSPMulTerm &&mul, T&&... args) { in cspadd()50 inline CSPAddTerm cspadd(CSPMulTerm &&mul, T&&... args) { in cspadd()
40 struct CSPMulTerm;397 using CSPMulTerms = Indexed<CSPMulTerm, CSPMulTermUid>;
139 CSPMulTerm mul(cspmulterms_.erase(b)); in cspaddterm()