Searched defs:AuxGen (Results 1 – 6 of 6) sorted by relevance
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/tools/corba/se/idl/toJavaPortable/ |
| H A D | AuxGen.java | 43 public interface AuxGen interface
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/tools/corba/se/idl/toJavaPortable/ |
| H A D | AuxGen.java | 43 public interface AuxGen interface
|
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/ |
| H A D | term.hh | 122 struct AuxGen { struct
123 AuxGen() in AuxGen() function
130 std::shared_ptr<unsigned> auxNum;
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/ |
| H A D | term.cc | 725 Term::ProjectRet PoolTerm::project(bool, AuxGen &) { in project() argument
754 UTerm PoolTerm::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &, bool) { in rewriteArithmetics() argument
831 Term::ProjectRet ValTerm::project(bool rename, AuxGen &) { in project() argument
854 UTerm ValTerm::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &, bool) { return nullptr; } in rewriteArithmetics() argument
980 UTerm VarTerm::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &, bool) { return nullptr; } in rewriteArithmetics() argument
1565 Term::ProjectRet DotsTerm::project(bool, AuxGen &) { in project() argument
1594 UTerm DotsTerm::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &, bool) { in rewriteArithmetics() argument
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
| H A D | aggregates.cc | 1574 void SimpleHeadLiteral::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &) { in rewriteArithmetics() argument
1869 void MinimizeHeadLiteral::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &) { in rewriteArithmetics() argument
1972 void EdgeHeadAtom::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &) { in rewriteArithmetics() argument
2332 void ShowHeadLiteral::rewriteArithmetics(Term::ArithmeticsMap &, AuxGen &) { in rewriteArithmetics() argument
|
| H A D | literals.cc | 151 void FalseLiteral::rewriteArithmetics(Term::ArithmeticsMap &, AssignVec &, AuxGen &) { } in rewriteArithmetics() argument
|