Searched defs:unproc (Results 1 – 4 of 4) sorted by relevance
304 Eqn_p unproc = NULL, proc = NULL, handle; in ground_complete_neg_eqns() local
131 int unproc; in xwild_match() local
825 const char *unproc = s.spelling().cstr(); in makeStringAtom() local
4120 std::vector< Node > unproc; in sendInfer() local4244 …Vars( Node n, std::vector< Node >& vars, std::vector< Node >& subs, std::vector< Node >& unproc ) { in inferSubstitutionProxyVars()