Lines Matching refs:UserLevelRewritingContext

96       UserLevelRewritingContext::beginCommand();  in search()
120 	new RewriteSequenceSearch(new UserLevelRewritingContext(subjectDag),  in search()
131       RewritingContext* initial = new UserLevelRewritingContext(subjectDag);  in search()
148 …UserLevelRewritingContext::printSubstitution(*(smtSearch->getSubstitution()), *smtSearch, smtSearc…  in search()
162       UserLevelRewritingContext::clearDebug();  in search()
166 …NarrowingSequenceSearch* state = new NarrowingSequenceSearch(new UserLevelRewritingContext(subject…  in search()
191       if (UserLevelRewritingContext::aborted())  in doNarrowing()
203       UserLevelRewritingContext::printSubstitution(*(state->getSubstitution()), *variableInfo);  in doNarrowing()
204       if (UserLevelRewritingContext::interrupted())  in doNarrowing()
219   UserLevelRewritingContext::clearDebug();  in doNarrowing()
234       if (UserLevelRewritingContext::aborted())  in doSearching()
256       UserLevelRewritingContext::printSubstitution(*(state->getSubstitution()), *variableInfo);  in doSearching()
257       if (UserLevelRewritingContext::interrupted())  in doSearching()
281   UserLevelRewritingContext::clearDebug();  in doSearching()
414       UserLevelRewritingContext::beginCommand();  in getVariants()
438   UserLevelRewritingContext* context = new UserLevelRewritingContext(d);  in getVariants()
440     UserLevelRewritingContext::setDebug();  in getVariants()
494   UserLevelRewritingContext::clearDebug();  in getVariants()
510       UserLevelRewritingContext::beginCommand();  in variantUnify()
537     UserLevelRewritingContext::setDebug();  in variantUnify()
540   UserLevelRewritingContext* context = new UserLevelRewritingContext(d);  in variantUnify()
588   UserLevelRewritingContext::clearDebug();  in variantUnify()