Searched defs:AssignVec (Results 1 – 7 of 7) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
H A D | literal.hh | 62 using AssignVec = std::vector<std::pair<UTerm, UTerm>>; typedef
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
H A D | literals.cc | 148 void RangeLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &, AuxGen &auxGen) { in rewriteArithmetics() argument 151 void FalseLiteral::rewriteArithmetics(Term::ArithmeticsMap &, AssignVec &, AuxGen &) { } in rewriteArithmetics() argument 152 void ScriptLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &, AuxGen &auxGen) { in rewriteArithmetics() argument 155 void CSPLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &, AuxGen &auxGen) { in rewriteArithmetics() argument 385 void PredicateLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &, AuxGen &auxGen)… in rewriteArithmetics() argument
|
H A D | theory.cc | 520 void BodyTheoryLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGe… in rewriteArithmetics()
|
H A D | aggregates.cc | 253 void TupleBodyAggregate::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxG… in rewriteArithmetics() 481 void LitBodyAggregate::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGen… in rewriteArithmetics() 650 void Conjunction::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGen &aux… in rewriteArithmetics() 1718 void DisjointAggregate::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGe… in rewriteArithmetics()
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | solver_types.h | 607 typedef PodVector<uint32>::type AssignVec; typedef
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | solver_types.h | 607 typedef PodVector<uint32>::type AssignVec; typedef
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | solver_types.h | 607 typedef PodVector<uint32>::type AssignVec; typedef
|