Home
last modified time | relevance | path

Searched refs:eRewriteCont (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Derewrite.cc52 endRewriting(timer, context, fm, &Interpreter::eRewriteCont); in eRewrite()
95 Interpreter::eRewriteCont(Int64 limit, bool debug) in eRewriteCont() function in Interpreter
108 endRewriting(timer, context, fm, &Interpreter::eRewriteCont); in eRewriteCont()
H A Dinterpreter.hh245 void eRewriteCont(Int64 limit, bool debug);
H A DChangeLog1282 * execute.cc: removed commented out eRewrite() and eRewriteCont()
2135 (eRewriteCont): don't use fairContinue()
2142 (eRewriteCont): moved here
2143 (eRewriteCont): rewritten using doExternalRewriting()
5132 eRewriteCont()
5140 (eRewriteCont): added