Searched refs:variantUnify (Results 1 – 5 of 5) sorted by relevance
189 void variantUnify(const Vector<Token>& bubble, Int64 limit, bool debug);
498 Interpreter::variantUnify(const Vector<Token>& bubble, Int64 limit, bool debug) in variantUnify() function in Interpreter
195 interpreter.variantUnify(lexerBubble, number, $1);
4220 interpreter.variantUnify(lexerBubble, number, (yyvsp[-4].yyBool)); in yyparse()
83 * search.cc (variantUnify): check for incompleteness573 (variantUnify): output timing information after each unifier673 * interpreter.hh (ViewDatabase): updated decl for variantUnify();676 * search.cc (variantUnify): added debug flag690 * search.cc (variantUnify): call clearDebug()696 (variantUnify): use makeUnificationProblemDag(); call unprotect()697 (variantUnify): pass unificationMode flag to VariantSearch()714 * search.cc (variantUnify): is parseVariantUnifyCommand(); echo731 * search.cc (variantUnify): added733 * interpreter.hh (ViewDatabase): added decl for variantUnify