Home
last modified time | relevance | path

Searched refs:metaGetIrredundantVariant (Results 1 – 7 of 7) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DdescentSignature.cc42 MACRO(metaGetIrredundantVariant, 5)
H A DmetaVariant.cc154 MetaLevelOpSymbol::metaGetIrredundantVariant(FreeDagNode* subject, RewritingContext& context) in metaGetIrredundantVariant() function in MetaLevelOpSymbol
H A DChangeLog35 resulting chaos in the metaGetIrredundantVariant() case
276 (metaGetIrredundantVariant): added
279 * descentSignature.cc: added metaGetIrredundantVariant
/dports/lang/maude/maude-2.7.1/src/Main/
H A DChangeLog70 * prelude.maude: added metaGetIrredundantVariant()
H A Dprelude.maude2314 op metaGetIrredundantVariant : Module Term TermList Nat Nat ~> Variant?
2316 id-hook MetaLevelOpSymbol (metaGetIrredundantVariant)
/dports/lang/maude/maude-2.7.1/
H A DNEWS33 * fixed bug in metaGetIrredundantVariant()
/dports/lang/maude/maude-2.7.1/tests/Meta/
H A DmetaUp2.expected613 op 'metaGetIrredundantVariant : '`[Module`] '`[QidSet`,QidList`,TypeListSet`,GTermList`,ParameterLi…
616 id-hook('MetaLevelOpSymbol, 'metaGetIrredundantVariant)
1134 op 'metaGetIrredundantVariant : '`[Module`] '`[QidSet`,QidList`,TypeListSet`,GTermList`,ParameterLi…
1137 id-hook('MetaLevelOpSymbol, 'metaGetIrredundantVariant)
2017 …op 'metaGetIrredundantVariant : '`[Module`] '`[QidSet`,QidList`,TypeListSet`,GTermList`,ParameterL…
2020 id-hook('MetaLevelOpSymbol, 'metaGetIrredundantVariant)
2809 id-hook('MetaLevelOpSymbol, 'metaGetIrredundantVariant)
4073 id-hook('MetaLevelOpSymbol, 'metaGetIrredundantVariant)
5597 ''metaGetIrredundantVariant.Sort],'op-hook[''shareWith.Sort,
7189 ''metaGetIrredundantVariant.Sort],'op-hook[''shareWith.Sort,
[all …]