Home
last modified time | relevance | path

Searched defs:computeGeneralizedSort (Results 1 – 8 of 8) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Variable/
H A DvariableSymbol.cc104 VariableSymbol::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in VariableSymbol
/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortTable.hh67 virtual void computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in SortTable
/dports/lang/maude/maude-2.7.1/src/Interface/
H A DdagNode.cc259 DagNode::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in DagNode
/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_Symbol.cc323 CUI_Symbol::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in CUI_Symbol
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_Symbol.cc357 S_Symbol::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in S_Symbol
/dports/lang/maude/maude-2.7.1/src/ACU_Theory/
H A DACU_Symbol.cc417 ACU_Symbol::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in ACU_Symbol
/dports/lang/maude/maude-2.7.1/src/FreeTheory/
H A DfreeSymbol.cc363 FreeSymbol::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in FreeSymbol
/dports/lang/maude/maude-2.7.1/src/AU_Theory/
H A DAU_Symbol.cc518 AU_Symbol::computeGeneralizedSort(const SortBdds& sortBdds, in computeGeneralizedSort() function in AU_Symbol