Searched refs:tracePreScApplication (Results 1 – 8 of 8) sorted by relevance
152 context.tracePreScApplication(subject, sc); in constrainToSmallerSort2()
121 RewritingContext::tracePreScApplication(DagNode* /* subject */, const SortConstraint* /* sc */) in tracePreScApplication() function in RewritingContext
100 virtual void tracePreScApplication(DagNode* subject, const SortConstraint* sc);
3211 context.traceAbort() after calling context.tracePreScApplication()5899 * rewritingContext.cc (tracePreScApplication): added
89 void tracePreScApplication(DagNode* subject, const SortConstraint* sc);
394 UserLevelRewritingContext::tracePreScApplication(DagNode* subject, const SortConstraint* sc) in tracePreScApplication() function in UserLevelRewritingContext
1412 * userLevelRewritingContext.cc (tracePreScApplication) 4728 * userLevelRewritingContext.cc (tracePreScApplication) 4747 (tracePreScApplication): use getFlag() rather than7632 (tracePreScApplication): pass sc to handleDebug()7645 (tracePreScApplication): pass sc to dontTrace()8564 (tracePreScApplication): call profileMbRewrite()9267 (tracePreScApplication): use new dontTrace()9677 (tracePreScApplication): pass subject to handleDebug()12807 (tracePreScApplication): use dontTrace()14894 (tracePreScApplication): call handleDebug()[all …]
3170 * symbol.cc (constrainToSmallerSort2): use tracePreScApplication()