Home
last modified time | relevance | path

Searched defs:AssignVec (Results 1 – 7 of 7) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/
H A Dliteral.hh62 using AssignVec = std::vector<std::pair<UTerm, UTerm>>; typedef
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/
H A Dliterals.cc148 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 Dtheory.cc520 void BodyTheoryLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGe… in rewriteArithmetics()
H A Daggregates.cc253 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 Dsolver_types.h607 typedef PodVector<uint32>::type AssignVec; typedef
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dsolver_types.h607 typedef PodVector<uint32>::type AssignVec; typedef
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dsolver_types.h607 typedef PodVector<uint32>::type AssignVec; typedef