Home
last modified time | relevance | path

Searched defs:unproc (Results 1 – 4 of 4) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_tautologies.c304 Eqn_p unproc = NULL, proc = NULL, handle; in ground_complete_neg_eqns() local
/dports/archivers/arj/arj-3.10.22/
H A Dmisc.c131 int unproc; in xwild_match() local
/dports/benchmarks/polygraph/polygraph-4.13.0/src/pgl/
H A DPglSemx.cc825 const char *unproc = s.spelling().cstr(); in makeStringAtom() local
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.cpp4120 std::vector< Node > unproc; in sendInfer() local
4244 …Vars( Node n, std::vector< Node >& vars, std::vector< Node >& subs, std::vector< Node >& unproc ) { in inferSubstitutionProxyVars()