Home
last modified time | relevance | path

Searched refs:hasEagerContext (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DtermSet.cc65 return t1->hasEagerContext() == t2->hasEagerContext() && t1->equal(t2); in isEqual()
/dports/lang/maude/maude-2.7.1/src/Interface/
H A Dterm.hh90 bool hasEagerContext() const;
512 Term::hasEagerContext() const in hasEagerContext() function in Term
H A Dterm.cc727 "\teagerContext = " << hasEagerContext() << '\n'; in dumpCommon()
H A DChangeLog830 hasEagerContext()
2870 * term.hh (hasEagerContext): added