Home
last modified time | relevance | path

Searched refs:incrementRlCount (Results 1 – 10 of 10) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DrewritingContext.hh66 void incrementRlCount(Int64 i = 1);
274 RewritingContext::incrementRlCount(Int64 i) in incrementRlCount() function in RewritingContext
H A DruleTable.cc129 context.incrementRlCount(); in applyRules()
H A DChangeLog2994 incrementRlCount()
2997 incrementRlCount()
2999 * rule.cc (apply): incrementCount() -> incrementRlCount()
3007 (incrementRlCount): added
/dports/lang/maude/maude-2.7.1/src/BuiltIn/
H A DcounterSymbol.cc124 context.incrementRlCount(); in ruleRewrite()
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaApply.cc152 context.incrementRlCount(); in metaApply()
276 context.incrementRlCount(); in metaXapply()
H A DmetaSearch.cc310 context.incrementRlCount(); in metaSmtSearch()
H A DChangeLog2510 count(); use incrementRlCount()
2512 count(); use incrementRlCount()
/dports/lang/maude/maude-2.7.1/src/Higher/
H A DstateTransitionGraph.cc109 initial->incrementRlCount(); in getNextState()
/dports/lang/maude/maude-2.7.1/src/ObjectSystem/
H A DconfigSymbol.cc377 context.incrementRlCount(); in objMsgRewrite()
425 context.incrementRlCount(); in leftOverRewrite()
/dports/lang/maude/maude-2.7.1/src/StrategyLanguage/
H A DapplicationProcess.cc199 searchObject.getContext()->incrementRlCount(); in doRewrite()