Home
last modified time | relevance | path

Searched refs:UserLevelRewritingContext (Results 1 – 25 of 35) sorted by relevance

12

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dinteract.cc30 bool UserLevelRewritingContext::stepFlag = false;
31 bool UserLevelRewritingContext::abortFlag = false;
32 int UserLevelRewritingContext::debugLevel = 0;
39 UserLevelRewritingContext::clearDebug() in clearDebug()
47 UserLevelRewritingContext::clearInterrupt() in clearInterrupt()
166 UserLevelRewritingContext::changePrompt() in changePrompt()
179 UserLevelRewritingContext::ParseResult
180 UserLevelRewritingContext::commandLoop() in commandLoop()
249 UserLevelRewritingContext::beginCommand() in beginCommand()
346 UserLevelRewritingContext::where() in where()
[all …]
H A DuserLevelRewritingContext.hh39 NO_COPYING(UserLevelRewritingContext);
58 UserLevelRewritingContext(DagNode* root);
59 UserLevelRewritingContext(DagNode* root,
60 UserLevelRewritingContext* parent,
78 void beAdoptedBy(UserLevelRewritingContext* newParent);
154 UserLevelRewritingContext* parent;
166 UserLevelRewritingContext::clearTrialCount() in clearTrialCount()
172 UserLevelRewritingContext::interrupted() in interrupted()
178 UserLevelRewritingContext::aborted() in aborted()
184 UserLevelRewritingContext::setDebug() in setDebug()
[all …]
H A DuserLevelRewritingContext.cc74 bool UserLevelRewritingContext::tracePostFlag = false;
75 const char UserLevelRewritingContext::header[] = "*********** ";
76 ostream* UserLevelRewritingContext::printAttrStream = &cout;
78 UserLevelRewritingContext::UserLevelRewritingContext(DagNode* root) in UserLevelRewritingContext() function in UserLevelRewritingContext
86 UserLevelRewritingContext::UserLevelRewritingContext(DagNode* root, in UserLevelRewritingContext() function in UserLevelRewritingContext
87 UserLevelRewritingContext* parent, in UserLevelRewritingContext()
98 UserLevelRewritingContext::makeSubcontext(DagNode* root, int purpose) in makeSubcontext()
100 return new UserLevelRewritingContext(root, this, purpose, in makeSubcontext()
134 UserLevelRewritingContext::tracePreEqRewrite(DagNode* redex, in tracePreEqRewrite()
190 UserLevelRewritingContext::tracePostEqRewrite(DagNode* replacement) in tracePostEqRewrite()
[all …]
H A Dexecute.cc75 UserLevelRewritingContext::clearTrialCount(); in startUsingModule()
87 UserLevelRewritingContext::setDebug(); in beginRewriting()
142 UserLevelRewritingContext* context, in endRewriting()
151 if (UserLevelRewritingContext::aborted()) in endRewriting()
196 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in reduce()
199 UserLevelRewritingContext::beginCommand(); in reduce()
230 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in reduce()
251 UserLevelRewritingContext::beginCommand(); in rewrite()
260 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in rewrite()
297 UserLevelRewritingContext::beginCommand(); in fRewrite()
[all …]
H A Dsearch.cc96 UserLevelRewritingContext::beginCommand(); in search()
162 UserLevelRewritingContext::clearDebug(); in search()
191 if (UserLevelRewritingContext::aborted()) in doNarrowing()
219 UserLevelRewritingContext::clearDebug(); in doNarrowing()
281 UserLevelRewritingContext::clearDebug(); in doSearching()
438 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in getVariants()
440 UserLevelRewritingContext::setDebug(); in getVariants()
494 UserLevelRewritingContext::clearDebug(); in getVariants()
537 UserLevelRewritingContext::setDebug(); in variantUnify()
540 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in variantUnify()
[all …]
H A Dtrial.cc26 int UserLevelRewritingContext::trialCount = 0;
29 UserLevelRewritingContext::traceBeginEqTrial(DagNode* subject, const Equation* equation) in traceBeginEqTrial()
48 UserLevelRewritingContext::traceBeginRuleTrial(DagNode* subject, const Rule* rule) in traceBeginRuleTrial()
67 UserLevelRewritingContext::traceBeginScTrial(DagNode* subject, const SortConstraint* sc) in traceBeginScTrial()
86 UserLevelRewritingContext::traceEndTrial(int trialRef, bool success) in traceEndTrial()
93 UserLevelRewritingContext::traceExhausted(int trialRef) in traceExhausted()
100 UserLevelRewritingContext::traceBeginFragment(int trialRef, in traceBeginFragment()
115 UserLevelRewritingContext::traceEndFragment(int trialRef, in traceEndFragment()
H A Dmatch.cc65 UserLevelRewritingContext::beginCommand(); in match()
84 UserLevelRewritingContext* context = new UserLevelRewritingContext(subjectDag); in match()
92 if (UserLevelRewritingContext::aborted()) in match()
123 if (UserLevelRewritingContext::aborted()) in doMatching()
148 UserLevelRewritingContext::printSubstitution(*context, *variableInfo); in doMatching()
149 if (UserLevelRewritingContext::interrupted()) in doMatching()
171 UserLevelRewritingContext::clearDebug(); in doMatching()
H A Derewrite.cc34 UserLevelRewritingContext::beginCommand(); in eRewrite()
41 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in eRewrite()
57 Interpreter::doExternalRewriting(UserLevelRewritingContext* context, Int64 limit) in doExternalRewriting()
88 UserLevelRewritingContext::clearInterrupt(); in doExternalRewriting()
97 UserLevelRewritingContext* context = savedContext; in eRewriteCont()
H A Dsrewrite.cc40 UserLevelRewritingContext::beginCommand(); in sRewrite()
51 UserLevelRewritingContext* context = new UserLevelRewritingContext(subjectDag); in sRewrite()
58 UserLevelRewritingContext::clearDebug(); in sRewrite()
101 UserLevelRewritingContext::clearDebug(); in doStrategicSearch()
H A DlexerAux.cc41 if (UserLevelRewritingContext::interrupted()) in getInput()
46 if (UserLevelRewritingContext::interrupted()) in getInput()
83 UserLevelRewritingContext::setInteractive(rootInteractive); in cleanUpLexer()
179 UserLevelRewritingContext::setInteractive(rootInteractive); in createRootBuffer()
215 UserLevelRewritingContext::setInteractive(false); in includeFile()
242 UserLevelRewritingContext::setInteractive(rootInteractive); in handleEof()
H A Dunify.cc38 UserLevelRewritingContext::beginCommand(); in unify()
93 … UserLevelRewritingContext::printSubstitution(problem->getSolution(), problem->getVariableInfo()); in doUnification()
94 if (UserLevelRewritingContext::interrupted()) in doUnification()
115 UserLevelRewritingContext::clearDebug(); in doUnification()
H A DloopMode.cc85 UserLevelRewritingContext* context = new UserLevelRewritingContext(d); in doLoop()
98 if (UserLevelRewritingContext::aborted()) in doLoop()
122 UserLevelRewritingContext::clearDebug(); // even if we didn't start in debug mode in doLoop()
H A DvisibleModule.cc109 if (UserLevelRewritingContext::interrupted()) in showSortsAndSubsorts()
185 if (UserLevelRewritingContext::interrupted()) in showModule()
193 if (UserLevelRewritingContext::interrupted()) in showSorts1()
220 if (UserLevelRewritingContext::interrupted()) in showSubsorts()
246 if (UserLevelRewritingContext::interrupted()) in showVars()
260 if (UserLevelRewritingContext::interrupted()) in showMbs()
274 if (UserLevelRewritingContext::interrupted()) in showEqs()
288 if (UserLevelRewritingContext::interrupted()) in showRls()
467 if (UserLevelRewritingContext::interrupted()) in showPolymorphs()
515 if (UserLevelRewritingContext::interrupted()) in showOps()
[all …]
H A Dcommand.cc72 if (UserLevelRewritingContext::interrupted()) in showModule()
80 if (UserLevelRewritingContext::interrupted()) in showModule()
90 if (UserLevelRewritingContext::interrupted()) in showModule()
115 if (UserLevelRewritingContext::interrupted()) in showModule()
123 if (UserLevelRewritingContext::interrupted()) in showModule()
H A Dtop.yy63 //#define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult))
95 static void yyerror(UserLevelRewritingContext::ParseResult* parseResult, char *s);
102 %parse-param {UserLevelRewritingContext::ParseResult* parseResult}
238 PARSE_RESULT = UserLevelRewritingContext::QUIT;
315 PARSE_RESULT = UserLevelRewritingContext::QUIT;
322 PARSE_RESULT = UserLevelRewritingContext::QUIT;
H A Dbottom.yy26 yyerror(UserLevelRewritingContext::ParseResult* /*parseResult*/, char *s)
28 if (!(UserLevelRewritingContext::interrupted()))
H A DdagNodePrint.cc298 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
440 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
444 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
487 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
495 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
H A DtermPrint.cc275 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
400 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
404 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
440 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
448 if (UserLevelRewritingContext::interrupted()) in prettyPrint()
H A Dsurface.cc360 int yyparse (UserLevelRewritingContext::ParseResult* parseResult);
2272 yyparse (UserLevelRewritingContext::ParseResult* parseResult) in yyparse()
2528 PARSE_RESULT = UserLevelRewritingContext::QUIT; in yyparse()
2651 PARSE_RESULT = UserLevelRewritingContext::QUIT; in yyparse()
2662 PARSE_RESULT = UserLevelRewritingContext::QUIT; in yyparse()
4803 PARSE_RESULT = UserLevelRewritingContext::RESUME; in yyparse()
4811 PARSE_RESULT = UserLevelRewritingContext::ABORT; in yyparse()
4819 PARSE_RESULT = UserLevelRewritingContext::STEP; in yyparse()
4827 PARSE_RESULT = UserLevelRewritingContext::WHERE; in yyparse()
5560 yyerror(UserLevelRewritingContext::ParseResult* /*parseResult*/, char *s) in yyerror()
[all …]
H A Dinterpreter.hh240 UserLevelRewritingContext* context,
260 void doExternalRewriting(UserLevelRewritingContext* context, Int64 limit);
293 UserLevelRewritingContext* savedContext;
/dports/lang/maude/maude-2.7.1/src/Main/
H A Dmain.cc136 UserLevelRewritingContext::setPrintAttributeStream(&cerr); in main()
188 UserLevelRewritingContext::setHandlers(handleCtrlC); in main()
203 (void) UserLevelRewritingContext::commandLoop(); in main()
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaApply.cc45 safeCast(UserLevelRewritingContext*, state->getContext())-> in getCachedRewriteSearchState()
46 beAdoptedBy(safeCast(UserLevelRewritingContext*, &context)); in getCachedRewriteSearchState()
147 context.makeSubcontext(top.first, UserLevelRewritingContext::META_EVAL); in metaApply()
271 context.makeSubcontext(top.first, UserLevelRewritingContext::META_EVAL); in metaXapply()
H A DmetaSearch.cc66 safeCast(UserLevelRewritingContext*, search->getContext())-> in getCachedRewriteSequenceSearch()
67 beAdoptedBy(safeCast(UserLevelRewritingContext*, &context)); in getCachedRewriteSequenceSearch()
225 safeCast(UserLevelRewritingContext*, search->getRootContext())-> in getCachedSMT_RewriteSequenceSearch()
226 beAdoptedBy(safeCast(UserLevelRewritingContext*, &context)); in getCachedSMT_RewriteSequenceSearch()
H A DmetaVariant.cc46 safeCast(UserLevelRewritingContext*, search->getContext())-> in getCachedVariantSearch()
47 beAdoptedBy(safeCast(UserLevelRewritingContext*, &context)); in getCachedVariantSearch()
200 … RewritingContext* startContext = context.makeSubcontext(d, UserLevelRewritingContext::META_EVAL); in metaVariantUnify2()
H A DmetaNarrow.cc45 safeCast(UserLevelRewritingContext*, search->getContext())-> in getCachedNarrowingSequenceSearch()
46 beAdoptedBy(safeCast(UserLevelRewritingContext*, &context)); in getCachedNarrowingSequenceSearch()

12