/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/cegqi/ |
H A D | ceg_bv_instantiator.cpp | 84 Node alit, in processLiteral() 231 Node alit, in processAssertion() 315 Node alit = d_inst_id_to_alit[inst_id]; in processAssertions() local 351 Node alit = d_inst_id_to_alit[inst_id]; in processAssertions() local
|
H A D | ceg_arith_instantiator.cpp | 146 Node alit, in processAssertion()
|
H A D | ceg_instantiator.h | 776 Node alit, in processAssertion()
|
/dports/math/clingo/clingo-5.5.1/libgringo/tests/input/ |
H A D | aggregate.cc | 52 ULit alit(char const * a, char const * b) { return pred(NAF::POS, fun("p", aterm(a, b))); } in alit() function
|
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
H A D | pb_card.cpp | 161 literal alit = c[j]; in init_watch() local
|
H A D | xor_solver.d | 31 lbool ba_solver::add_assign(xr& x, literal alit) { in add_assign()
|
H A D | pb_solver.cpp | 278 lbool solver::add_assign(pbc& p, literal alit) { in add_assign() 1895 lbool solver::add_assign(card& c, literal alit) { in add_assign()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
H A D | mbp_plugin.cpp | 59 app* alit = to_app(t); in pick_equality() local
|
H A D | mbp_arith.cpp | 119 app* alit = to_app(lit); in linearize() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/smt/ |
H A D | ba_card.cpp | 180 literal alit = c[j]; in init_watch() local
|
H A D | xor_solver.cpp | 31 lbool ba_solver::add_assign(xr& x, literal alit) { in add_assign()
|
H A D | ba_solver.cpp | 281 lbool ba_solver::add_assign(pb& p, literal alit) { in add_assign() 1920 lbool ba_solver::add_assign(card& c, literal alit) { in add_assign()
|
/dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
H A D | mbp_plugin.cpp | 59 app* alit = to_app(t); in pick_equality() local
|
H A D | mbp_arith.cpp | 118 app* alit = to_app(lit); in linearize() local
|
/dports/sysutils/android-file-transfer/android-file-transfer-linux-4.2/mtp/metadata/ |
H A D | Library.cpp | 163 auto alit = albums.find(name); in Library() local
|
/dports/sysutils/android-file-transfer-qt5/android-file-transfer-linux-4.2/mtp/metadata/ |
H A D | Library.cpp | 163 auto alit = albums.find(name); in Library() local
|
/dports/devel/umbrello/umbrello-21.12.3/umbrello/codegenerators/vala/ |
H A D | valawriter.cpp | 472 for (UMLAssociationListIt alit(*realizations); alit.hasNext();) { in writeRealizationsRecursive() local
|
/dports/devel/umbrello/umbrello-21.12.3/umbrello/codegenerators/csharp/ |
H A D | csharpwriter.cpp | 428 for (UMLAssociationListIt alit(*realizations); alit.hasNext();) { in writeRealizationsRecursive() local
|
/dports/math/vampire/vampire-4.5.1/Kernel/ |
H A D | MLVariant.cpp | 120 Literal* alit=ait.next(); in createLiteralBindings() local
|
H A D | MLMatcher.cpp | 108 Literal* alit=ait.next(); in createLiteralBindings() local
|
H A D | MLMatcherSD.cpp | 123 Literal* alit=ait.next(); in createLiteralBindings() local
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | theory_pb.cpp | 249 lbool theory_pb::card::assign(theory_pb& th, literal alit) { in assign() 385 literal alit = lit(j); in init_watch() local 1983 literal alit = get_asserting_literal(~conseq); in resolve_conflict() local
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | theory_pb.cpp | 249 lbool theory_pb::card::assign(theory_pb& th, literal alit) { in assign() 385 literal alit = lit(j); in init_watch() local 1983 literal alit = get_asserting_literal(~conseq); in resolve_conflict() local
|
/dports/cad/opencascade/opencascade-7.6.0/src/ShapeFix/ |
H A D | ShapeFix_Shell.cxx | 714 for(TopTools_ListIteratorOfListOfShape alit(LShells); alit.More();alit.Next(),num++) { in CreateNonManifoldShells() local
|
/dports/cad/freehdl/freehdl-0.0.7/vaul/ |
H A D | expr.cc | 1508 pVAUL_AmbgArrayLitRef alit = pVAUL_AmbgArrayLitRef(cl->expr); in collect_ambg_types() local
|