| /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()
|