Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Higher/
H A DrewriteConditionState.cc59 arcNr = -1; in RewriteConditionState()
119 ++arcNr; in findNextState()
120 int stateNr = stateGraph.getNextState(explore, arcNr); in findNextState()
130 arcNr = -1; in findNextState()
H A DrewriteConditionState.hh51 int arcNr; member in RewriteConditionState
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dsearch.cc386 int arcNr = 0; in showSearchGraph() local
388 j != fwdArcs.end(); j++, arcNr++) in showSearchGraph()
390 cout << "arc " << arcNr << " ===> state " << (*j).first; in showSearchGraph()