Home
last modified time | relevance | path

Searched refs:eRewrite (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Derewrite.cc28 Interpreter::eRewrite(const Vector<Token>& subject, Int64 limit, Int64 gas, bool debug) in eRewrite() function in Interpreter
H A Dinterpreter.hh176 void eRewrite(const Vector<Token>& subject, Int64 limit, Int64 gas, bool debug);
H A Dcommands.yy108 interpreter.eRewrite(lexerBubble, number, number2, $1);
H A DChangeLog1290 * erewrite.cc (eRewrite): same issue as below
2134 (eRewrite): rewritten using fairStart()
2141 * erewrite.cc (eRewrite): moved here
2145 (eRewrite): rewritten using doExternalRewriting()
2438 (eRewrite): use printModifiers()
4939 * execute.cc (eRewrite): call eventLoop()
5139 * execute.cc (eRewrite): added
9695 * execute.cc (eRewrite): deleted
9746 (eRewrite): ditto
9846 * preModule.hh (Parent): added decl for eRewrite()
[all …]
H A Dsurface.cc4079 interpreter.eRewrite(lexerBubble, number, number2, (yyvsp[-3].yyBool)); in yyparse()