Home
last modified time | relevance | path

Searched refs:getSaveIndex (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Interface/
H A Dterm.hh84 int getSaveIndex() const;
430 Term::getSaveIndex() const in getSaveIndex() function in Term
H A DChangeLog1277 * term.hh (class Term): added decl for getSaveIndex();
1278 (getSaveIndex): added
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeLhsAutomaton.cc97 freeSubterms[i - 1].saveIndex = term->getSaveIndex(); in FreeLhsAutomaton()
H A DfreeRemainder.cc126 int index = f->getSaveIndex(); in FreeRemainder()
H A DfreeTerm.cc315 if (f->getSaveIndex() != NONE) in findActiveSlots()