Home
last modified time | relevance | path

Searched defs:unificationPriority (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_Symbol.cc371 CUI_Symbol::unificationPriority() const in unificationPriority() function in CUI_Symbol
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_Symbol.cc338 S_Symbol::unificationPriority() const in unificationPriority() function in S_Symbol
/dports/lang/maude/maude-2.7.1/src/Interface/
H A Dsymbol.cc516 Symbol::unificationPriority() const in unificationPriority() function in Symbol
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_Symbol.cc564 ACU_Symbol::unificationPriority() const in unificationPriority() function in ACU_Symbol
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeSymbol.cc353 FreeSymbol::unificationPriority() const in unificationPriority() function in FreeSymbol