Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Core/
H A DrewritingContext.hh77 Int64 getNarrowingCount() const;
250 RewritingContext::getNarrowingCount() const in getNarrowingCount() function in RewritingContext
H A DChangeLog638 (getNarrowingCount): added
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dexecute.cc136 " narrowing steps: " << context.getNarrowingCount() << '\n'; in printStats()