# | Term.Builtin.Convenience |
*: | Term.Builtin.Convenience |
AC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
ACSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
addFunSym | Term.Maude.Signature, Term.Unification |
addStRule | Term.Maude.Signature, Term.Unification |
adec | Term.Builtin.Convenience |
adecSym | Term.Builtin.Signature, Term.Builtin.Rules |
aenc | Term.Builtin.Convenience |
aencSym | Term.Builtin.Signature, Term.Builtin.Rules |
allMaudeSig | Term.UnitTests |
Apply | Term.Substitution, Term.Unification |
apply | Term.Substitution, Term.Unification |
applyLit | Term.Substitution, Term.Unification |
applySubst | Term.Substitution, Term.Unification |
applyVTerm | Term.Substitution, Term.Unification |
Arbitrary | Term.LTerm, Term.Substitution, Term.Unification |
asymEncFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
asymEncMaudeSig | Term.Maude.Signature, Term.Unification |
asymEncRules | Term.Builtin.Rules |
atPos | Term.Positions |
avoid | Term.LTerm, Term.Substitution, Term.Unification |
avoidPrecise | Term.LTerm, Term.Substitution, Term.Unification |
bigTerm | Term.UnitTests |
bindTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
BLTerm | Term.LTerm, Term.Substitution, Term.Unification |
bltermNodeId | Term.LTerm, Term.Substitution, Term.Unification |
bltermNodeId' | Term.LTerm, Term.Substitution, Term.Unification |
BLVar | Term.LTerm, Term.Substitution, Term.Unification |
Bound | Term.LTerm, Term.Substitution, Term.Unification |
bpFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
bpMaudeSig | Term.Maude.Signature, Term.Unification |
bpReducibleFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
bpRules | Term.Builtin.Rules |
BVar | Term.LTerm, Term.Substitution, Term.Unification |
C | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
canonizeSubst | Term.Subsumption |
checkComplete | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
checkMinimal | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
compareSubstVariant | Term.Narrowing.Variants.Compute, Term.Narrowing.Variants |
compareTermSubs | Term.Subsumption |
compose | Term.Substitution, Term.Unification |
composeVFresh | Term.Substitution, Term.Unification |
computeVariants | Term.Narrowing.Variants.Compute, Term.Narrowing.Variants |
computeVariantsBound | Term.Narrowing.Variants.Compute, Term.Narrowing.Variants |
computeVariantsCheck | Term.Narrowing.Variants |
Con | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
constsVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
constTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
containsPrivate | Term.LTerm, Term.Substitution, Term.Unification |
CSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
DelayedMatches | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
dhFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
dhMaudeSig | Term.Maude.Signature, Term.Unification |
dhReducibleFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
dhRules | Term.Builtin.Rules |
dom | Term.Substitution, Term.Unification |
domVFresh | Term.Substitution, Term.Unification |
EMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
emapSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
emptySubst | Term.Substitution, Term.Unification |
emptySubstVFresh | Term.Substitution, Term.Unification |
enableBP | Term.Maude.Signature, Term.Unification |
enableDH | Term.Maude.Signature, Term.Unification |
enableMSet | Term.Maude.Signature, Term.Unification |
eqLHS | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
eqModuloFreshnessNoAC | Term.LTerm, Term.Substitution, Term.Unification |
eqRHS | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
eqTermSubs | Term.Subsumption |
Equal | |
1 (Type/Class) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
2 (Data Constructor) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
evalEqual | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
evalFreshAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
evalFreshTAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
expo | Term.UnitTests |
expSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
expSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
extendWithRenaming | Term.Substitution, Term.Unification |
f1 | Term.Builtin.Convenience |
f2 | Term.Builtin.Convenience |
f3 | Term.Builtin.Convenience |
f4 | Term.Builtin.Convenience |
f5 | Term.Builtin.Convenience |
f6 | Term.Builtin.Convenience |
f7 | Term.Builtin.Convenience |
f8 | Term.Builtin.Convenience |
f9 | Term.Builtin.Convenience |
factorSubstVia | Term.Subsumption |
FApp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fApp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppAC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FAppC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppExp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppFst | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppInv | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppList | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FAppNoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppNoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppOne | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppPMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fAppSnd | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FExp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FInv | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
flattenMatch | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
FList | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
fmapTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
foldBVar | Term.LTerm, Term.Substitution, Term.Unification |
foldFrees | Term.LTerm, Term.Substitution, Term.Unification |
foldFreesOcc | Term.LTerm, Term.Substitution, Term.Unification |
FPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FPMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Free | Term.LTerm, Term.Substitution, Term.Unification |
frees | Term.LTerm, Term.Substitution, Term.Unification |
freesList | Term.LTerm, Term.Substitution, Term.Unification |
freeToFreshRaw | Term.Substitution, Term.Unification |
freshLVar | Term.LTerm, Term.Substitution, Term.Unification |
FreshName | Term.LTerm, Term.Substitution, Term.Unification |
freshTerm | Term.LTerm, Term.Substitution, Term.Unification |
freshToFree | Term.Substitution, Term.Unification |
freshToFreeAvoiding | Term.Substitution, Term.Unification |
freshToFreeAvoidingFast | Term.Substitution, Term.Unification |
FreshVar | Term.Maude.Types |
freshVar | Term.Builtin.Convenience |
fromFree | Term.LTerm, Term.Substitution, Term.Unification |
FUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
FunSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
funSyms | Term.Maude.Signature, Term.Unification |
fx0 | Term.Builtin.Convenience |
fx1 | Term.Builtin.Convenience |
fx10 | Term.Builtin.Convenience |
fx2 | Term.Builtin.Convenience |
fx3 | Term.Builtin.Convenience |
fx4 | Term.Builtin.Convenience |
fx5 | Term.Builtin.Convenience |
fx6 | Term.Builtin.Convenience |
fx7 | Term.Builtin.Convenience |
fx8 | Term.Builtin.Convenience |
fx9 | Term.Builtin.Convenience |
getMaudeStats | Term.Maude.Process, Term.Unification |
getNameId | Term.LTerm, Term.Substitution, Term.Unification |
HasFrees | Term.LTerm, Term.Substitution, Term.Unification |
hashFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
hashMaudeSig | Term.Maude.Signature, Term.Unification |
hashSym | Term.Builtin.Signature, Term.Builtin.Rules |
i1 | Term.Builtin.Convenience |
i2 | Term.Builtin.Convenience |
i3 | Term.Builtin.Convenience |
i4 | Term.Builtin.Convenience |
i5 | Term.Builtin.Convenience |
i6 | Term.Builtin.Convenience |
i7 | Term.Builtin.Convenience |
i8 | Term.Builtin.Convenience |
i9 | Term.Builtin.Convenience |
imageOf | Term.Substitution, Term.Unification |
imageOfVFresh | Term.Substitution, Term.Unification |
implicitFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
inv | Term.UnitTests |
invSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
irreducibleFunSyms | Term.Maude.Signature, Term.Unification |
IsConst | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isFreshVar | Term.LTerm, Term.Substitution, Term.Unification |
isInverse | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isMsgVar | Term.LTerm, Term.Substitution, Term.Unification |
isNormalInstance | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
isNullaryPublicFunction | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isPrivateFunction | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isProduct | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isRenaming | Term.Substitution, Term.Unification |
isSimpleTerm | Term.LTerm, Term.Substitution, Term.Unification |
isUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
IsVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
isVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
leqSubstVariant | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
li1 | Term.Builtin.Convenience |
li2 | Term.Builtin.Convenience |
li3 | Term.Builtin.Convenience |
li4 | Term.Builtin.Convenience |
li5 | Term.Builtin.Convenience |
li6 | Term.Builtin.Convenience |
li7 | Term.Builtin.Convenience |
li8 | Term.Builtin.Convenience |
li9 | Term.Builtin.Convenience |
List | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Lit | |
1 (Data Constructor) | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
2 (Type/Class) | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
lit | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Lit2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
lits | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
LNSubst | Term.Substitution, Term.Unification |
LNSubstVFresh | Term.Substitution, Term.Unification |
LNTerm | Term.LTerm, Term.Substitution, Term.Unification |
LSort | Term.LTerm, Term.Substitution, Term.Unification |
LSortFresh | Term.LTerm, Term.Substitution, Term.Unification |
LSortMsg | Term.LTerm, Term.Substitution, Term.Unification |
LSortNode | Term.LTerm, Term.Substitution, Term.Unification |
LSortPub | Term.LTerm, Term.Substitution, Term.Unification |
LSubst | Term.Substitution, Term.Unification |
LSubstVFresh | Term.Substitution, Term.Unification |
LTerm | Term.LTerm, Term.Substitution, Term.Unification |
ltermNodeId | Term.LTerm, Term.Substitution, Term.Unification |
ltermNodeId' | Term.LTerm, Term.Substitution, Term.Unification |
lTermToMTerm | Term.Maude.Types |
lTermToMTerm' | Term.Maude.Types |
ltermVar | Term.LTerm, Term.Substitution, Term.Unification |
ltermVar' | Term.LTerm, Term.Substitution, Term.Unification |
lv1 | Term.Builtin.Convenience |
lv2 | Term.Builtin.Convenience |
lv3 | Term.Builtin.Convenience |
lv4 | Term.Builtin.Convenience |
lv5 | Term.Builtin.Convenience |
lv6 | Term.Builtin.Convenience |
lv7 | Term.Builtin.Convenience |
lv8 | Term.Builtin.Convenience |
lv9 | Term.Builtin.Convenience |
LVar | |
1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
lvarIdx | Term.LTerm, Term.Substitution, Term.Unification |
lvarName | Term.LTerm, Term.Substitution, Term.Unification |
lvarSort | Term.LTerm, Term.Substitution, Term.Unification |
lx1 | Term.Builtin.Convenience |
lx10 | Term.Builtin.Convenience |
lx2 | Term.Builtin.Convenience |
lx3 | Term.Builtin.Convenience |
lx4 | Term.Builtin.Convenience |
lx5 | Term.Builtin.Convenience |
lx6 | Term.Builtin.Convenience |
lx7 | Term.Builtin.Convenience |
lx8 | Term.Builtin.Convenience |
lx9 | Term.Builtin.Convenience |
mapFrees | Term.LTerm, Term.Substitution, Term.Unification |
mapRange | Term.Substitution, Term.Unification |
mapRangeVFresh | Term.Substitution, Term.Unification |
Match | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
matchLVar | Term.Unification |
matchOnlyIf | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
matchViaMaude | Term.Maude.Process |
matchWith | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
MaudeConst | Term.Maude.Types |
MaudeHandle | |
1 (Type/Class) | Term.Maude.Process, Term.Unification |
2 (Data Constructor) | Term.Maude.Process |
MaudeLit | Term.Maude.Types |
MaudeSig | Term.Maude.Signature, Term.Unification |
MaudeVar | Term.Maude.Types |
maybeNotNfSubterms | Term.Rewriting.Norm |
mhFilePath | Term.Maude.Process, Term.Unification |
mhMaudeSig | Term.Maude.Process, Term.Unification |
mhProc | Term.Maude.Process |
minimalMaudeSig | Term.Maude.Signature, Term.Unification |
Monotone | Term.LTerm, Term.Substitution, Term.Unification |
MonotoneFunction | Term.LTerm, Term.Substitution, Term.Unification |
msetFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
msetMaudeSig | Term.Maude.Signature, Term.Unification |
msetRules | Term.Builtin.Rules |
MSubst | Term.Maude.Types |
msubstToLSubstVFree | Term.Maude.Types |
msubstToLSubstVFresh | Term.Maude.Types |
MTerm | Term.Maude.Types |
mTermToLNTerm | Term.Maude.Types |
Mult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
mult | Term.UnitTests |
Name | |
1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
NameId | |
1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
NameTag | Term.LTerm, Term.Substitution, Term.Unification |
neverContainsFreshPriv | Term.LTerm, Term.Substitution, Term.Unification |
nf' | Term.Rewriting.Norm |
nfSubstVFresh' | Term.Rewriting.Norm |
nId | Term.LTerm, Term.Substitution, Term.Unification |
niFactors | Term.LTerm, Term.Substitution, Term.Unification |
NodeId | Term.LTerm, Term.Substitution, Term.Unification |
NoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
NoEqFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
noEqFunSyms | Term.Maude.Signature, Term.Unification |
NoEqSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
NoMatch | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
norm' | Term.Rewriting.Norm |
normBigTerm | Term.UnitTests |
normSubstVFresh' | Term.Rewriting.Norm |
normViaMaude | Term.Maude.Process |
nTag | Term.LTerm, Term.Substitution, Term.Unification |
NTerm | Term.LTerm, Term.Substitution, Term.Unification |
occurs | Term.LTerm, Term.Substitution, Term.Unification |
occursVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
One | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
one | Term.UnitTests |
p1 | Term.Builtin.Convenience |
p2 | Term.Builtin.Convenience |
p3 | Term.Builtin.Convenience |
p4 | Term.Builtin.Convenience |
p5 | Term.Builtin.Convenience |
p6 | Term.Builtin.Convenience |
p7 | Term.Builtin.Convenience |
p8 | Term.Builtin.Convenience |
p9 | Term.Builtin.Convenience |
pair | Term.UnitTests |
pairFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
pairMaudeSig | Term.Maude.Signature, Term.Unification |
pairRules | Term.Builtin.Rules |
parseMatchReply | Term.Maude.Parser |
parseReduceReply | Term.Maude.Parser |
parseUnifyReply | Term.Maude.Parser |
pk | Term.Builtin.Convenience |
pkSym | Term.Builtin.Signature, Term.Builtin.Rules |
pmultSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
pmultSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Position | Term.Positions |
positionsNonVar | Term.Positions |
ppLSubst | Term.UnitTests |
ppLTerm | Term.UnitTests |
ppMaude | Term.Maude.Parser |
ppTheory | Term.Maude.Parser |
prettyDisjLNSubstsVFresh | Term.Substitution, Term.Unification |
prettyLNSubst | Term.Substitution, Term.Unification |
prettyLNTerm | Term.LTerm, Term.Substitution, Term.Unification |
prettyLSubstVFresh | Term.Substitution, Term.Unification |
prettyLVar | Term.LTerm, Term.Substitution, Term.Unification |
prettyMaudeSig | Term.Maude.Signature |
prettyNodeId | Term.LTerm, Term.Substitution, Term.Unification |
prettyNTerm | Term.LTerm, Term.Substitution, Term.Unification |
prettyStRule | Term.SubtermRule |
prettySubst | Term.Substitution, Term.Unification |
prettySubstVFresh | Term.Substitution, Term.Unification |
prettyTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Privacy | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Private | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
propMatchSound | Term.UnitTests |
propSubtermReplace | Term.UnitTests |
propUnifySound | Term.UnitTests |
Public | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
PubName | Term.LTerm, Term.Substitution, Term.Unification |
pubTerm | Term.LTerm, Term.Substitution, Term.Unification |
pubVar | Term.Builtin.Convenience |
px0 | Term.Builtin.Convenience |
px1 | Term.Builtin.Convenience |
px10 | Term.Builtin.Convenience |
px2 | Term.Builtin.Convenience |
px3 | Term.Builtin.Convenience |
px4 | Term.Builtin.Convenience |
px5 | Term.Builtin.Convenience |
px6 | Term.Builtin.Convenience |
px7 | Term.Builtin.Convenience |
px8 | Term.Builtin.Convenience |
px9 | Term.Builtin.Convenience |
range | Term.Substitution, Term.Unification |
rangeVFresh | Term.Substitution, Term.Unification |
removeRenamings | Term.Substitution, Term.Unification |
rename | Term.LTerm, Term.Substitution, Term.Unification |
renameAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
renameDropNamehint | Term.LTerm, Term.Substitution, Term.Unification |
renameFresh | Term.Substitution, Term.Unification |
renameFreshAvoiding | Term.Substitution, Term.Unification |
renamePrecise | Term.LTerm, Term.Substitution, Term.Unification |
replacePos | Term.Positions |
restrict | Term.Substitution, Term.Unification |
restrictVFresh | Term.Substitution, Term.Unification |
RhsGround | Term.SubtermRule |
RhsPosition | Term.SubtermRule |
RRule | |
1 (Type/Class) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Builtin.Rules, Term.Unification |
2 (Data Constructor) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Builtin.Rules, Term.Unification |
rrulesForMaudeSig | Term.Maude.Signature, Term.Unification |
rRuleToStRule | Term.SubtermRule |
runConversion | Term.Maude.Types |
runTest | Term.UnitTests |
sdec | Term.Builtin.Convenience |
sdecSym | Term.Builtin.Signature, Term.Builtin.Rules |
senc | Term.Builtin.Convenience |
sencSym | Term.Builtin.Signature, Term.Builtin.Rules |
showFunSymName | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
sign | Term.Builtin.Convenience |
signatureFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
signatureMaudeSig | Term.Maude.Signature, Term.Unification |
signatureRules | Term.Builtin.Rules |
signSym | Term.Builtin.Signature, Term.Builtin.Rules |
size | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Sized | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
sMap | Term.Substitution, Term.Unification |
solveMatchLNTerm | Term.Unification |
solveMatchLTerm | Term.Unification |
someInst | Term.LTerm, Term.Substitution, Term.Unification |
sortCompare | Term.LTerm, Term.Substitution, Term.Unification |
sortOfLit | Term.LTerm, Term.Substitution, Term.Unification |
sortOfLNTerm | Term.LTerm, Term.Substitution, Term.Unification |
sortOfLTerm | Term.LTerm, Term.Substitution, Term.Unification |
sortOfName | Term.LTerm, Term.Substitution, Term.Unification |
sortPrefix | Term.LTerm, Term.Substitution, Term.Unification |
sortSuffix | Term.LTerm, Term.Substitution, Term.Unification |
startMaude | Term.Maude.Process, Term.Unification |
stFunSyms | Term.Maude.Signature, Term.Unification |
StRhs | Term.SubtermRule |
StRule | |
1 (Type/Class) | Term.SubtermRule |
2 (Data Constructor) | Term.SubtermRule |
stRules | Term.Maude.Signature, Term.Unification |
stRuleToRRule | Term.SubtermRule |
sub4 | Term.UnitTests |
sub4' | Term.UnitTests |
sub6 | Term.UnitTests |
sub6' | Term.UnitTests |
Subst | |
1 (Type/Class) | Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.Substitution, Term.Unification |
substFromList | Term.Substitution, Term.Unification |
substFromListVFresh | Term.Substitution, Term.Unification |
substFromMap | Term.Substitution, Term.Unification |
substToList | Term.Substitution, Term.Unification |
substToListOn | Term.Substitution, Term.Unification |
substToListVFresh | Term.Substitution, Term.Unification |
SubstVFresh | |
1 (Type/Class) | Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.Substitution, Term.Unification |
svMap | Term.Substitution, Term.Unification |
symEncFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
symEncMaudeSig | Term.Maude.Signature, Term.Unification |
symEncRules | Term.Builtin.Rules |
tcompare | Term.UnitTests |
te | Term.UnitTests |
Term | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
termVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
termVar' | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
TermView | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
TermView2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
testEqual | Term.UnitTests |
tests | Term.UnitTests |
testsMatching | Term.UnitTests |
testsNorm | Term.UnitTests |
testsSimple | Term.UnitTests |
testsSubs | Term.UnitTests |
testsSubst | Term.UnitTests |
testsTerm | Term.UnitTests |
testsUnify | Term.UnitTests |
testsVariant | Term.UnitTests |
testTrue | Term.UnitTests |
tevs | Term.UnitTests |
traverseTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
trueC | Term.Builtin.Convenience |
trueSym | Term.Builtin.Signature, Term.Builtin.Rules |
unifiableLNTerms | Term.Unification |
unifyLNTerm | Term.Unification |
unifyLNTermFactored | Term.Unification |
unifyLTerm | Term.Unification |
unifyLTermFactored | Term.Unification |
unifyViaMaude | Term.Maude.Process |
Union | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
union | Term.UnitTests |
unionSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
unsafefApp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
v1 | Term.Builtin.Convenience |
v2 | Term.Builtin.Convenience |
v3 | Term.Builtin.Convenience |
v4 | Term.Builtin.Convenience |
v5 | Term.Builtin.Convenience |
v6 | Term.Builtin.Convenience |
v7 | Term.Builtin.Convenience |
v8 | Term.Builtin.Convenience |
v9 | Term.Builtin.Convenience |
Var | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
var | Term.Builtin.Convenience |
variantsFrom | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
varOccurences | Term.LTerm, Term.Substitution, Term.Unification, Term.Subsumption |
varsRange | Term.Substitution, Term.Unification |
varsRangeVFresh | Term.Substitution, Term.Unification |
varsVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
varTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
verify | Term.Builtin.Convenience |
verifySym | Term.Builtin.Signature, Term.Builtin.Rules |
viewTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
viewTerm2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
VTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
WithMaude | Term.Maude.Process, Term.Unification |
x0 | Term.Builtin.Convenience |
x1 | Term.Builtin.Convenience |
x10 | Term.Builtin.Convenience |
x2 | Term.Builtin.Convenience |
x3 | Term.Builtin.Convenience |
x4 | Term.Builtin.Convenience |
x5 | Term.Builtin.Convenience |
x6 | Term.Builtin.Convenience |
x7 | Term.Builtin.Convenience |
x8 | Term.Builtin.Convenience |
x9 | Term.Builtin.Convenience |
y0 | Term.Builtin.Convenience |
y1 | Term.Builtin.Convenience |
y2 | Term.Builtin.Convenience |
y3 | Term.Builtin.Convenience |
y4 | Term.Builtin.Convenience |
y5 | Term.Builtin.Convenience |
y6 | Term.Builtin.Convenience |
y7 | Term.Builtin.Convenience |
y8 | Term.Builtin.Convenience |
y9 | Term.Builtin.Convenience |