Searched defs:traceExhausted (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/maude/maude-2.7.1/src/Mixfix/ | ||
| H A D | trial.cc | 93 UserLevelRewritingContext::traceExhausted(int trialRef) in traceExhausted() function in UserLevelRewritingContext |
| /dports/lang/maude/maude-2.7.1/src/Core/ | ||
| H A D | rewritingContext.cc | 94 RewritingContext::traceExhausted(int /* trialRef */) in traceExhausted() function in RewritingContext |