/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
H A D | literals.hh | 45 … void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) override; 85 … void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) override; 96 static ULit make(Literal::AssignVec::value_type &x); 115 … void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) override; 144 … void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) override; 174 … void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) override; 203 … void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) override;
|
H A D | literal.hh | 62 using AssignVec = std::vector<std::pair<UTerm, UTerm>>; typedef 79 …virtual void rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &auxGen) = …
|
H A D | aggregates.hh | 49 …void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &auxGen) o… 79 …void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &auxGen) o… 112 …void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &auxGen) o… 140 …void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &auxGen) o… 187 …void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &auxGen) o…
|
H A D | aggregate.hh | 152 …virtual void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &a…
|
H A D | theory.hh | 124 …void rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, AuxGen &auxGen) o…
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
H A D | literals.cc | 139 void RelationLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, AssignVec &assign, AuxGen &au… in rewriteArithmetics() 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 471 ULit RelationLiteral::make(Literal::AssignVec::value_type &x) { in make()
|
H A D | aggregates.cc | 256 Literal::AssignVec assign; in rewriteArithmetics() 481 void LitBodyAggregate::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGen… in rewriteArithmetics() argument 484 Literal::AssignVec assign; in rewriteArithmetics() 650 void Conjunction::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGen &aux… in rewriteArithmetics() argument 653 Literal::AssignVec assign; in rewriteArithmetics() 662 Literal::AssignVec assign; in rewriteArithmetics() 1001 Literal::AssignVec assign; in rewriteArithmetics() 1186 Literal::AssignVec assign; in rewriteArithmetics() 1393 Literal::AssignVec assign; in rewriteArithmetics() 1400 Literal::AssignVec assign; in rewriteArithmetics() [all …]
|
H A D | theory.cc | 137 Literal::AssignVec assign; in rewriteArithmetics() 520 void BodyTheoryLiteral::rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &, AuxGe… in rewriteArithmetics() argument
|
H A D | statement.cc | 237 Literal::AssignVec assign; in rewrite()
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | solver_types.h | 607 typedef PodVector<uint32>::type AssignVec; typedef 749 AssignVec assign_; // for each var: three-valued assignment
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | solver_types.h | 607 typedef PodVector<uint32>::type AssignVec; typedef 749 AssignVec assign_; // for each var: three-valued assignment
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | solver_types.h | 607 typedef PodVector<uint32>::type AssignVec; typedef 749 AssignVec assign_; // for each var: three-valued assignment
|
/dports/math/clingo/clingo-5.5.1/libgringo/tests/input/ |
H A D | literal.cc | 43 Literal::AssignVec assign; in rewrite()
|
H A D | aggregate.cc | 101 Literal::AssignVec assign; in rewrite()
|