tamarin-prover-term-0.4.0.0: Term manipulation library for the tamarin prover.

Index

#Term.Builtin.Convenience
*:Term.Builtin.Convenience
+:Term.Builtin.Convenience
ACTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
ACSymTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
addFunctionSymbolTerm.Maude.Signature, Term.Unification
addStRuleTerm.Maude.Signature, Term.Unification
adecTerm.Builtin.Convenience
adecSymTerm.Builtin.Signature, Term.Builtin.Rules
aencTerm.Builtin.Convenience
aencSymTerm.Builtin.Signature, Term.Builtin.Rules
allFunctionSymbolsTerm.Maude.Signature, Term.Unification
ApplyTerm.Substitution, Term.Unification
applyTerm.Substitution, Term.Unification
applyLitTerm.Substitution, Term.Unification
applySubstTerm.Substitution, Term.Unification
applyVTermTerm.Substitution, Term.Unification
ArbitraryTerm.LTerm, Term.Substitution, Term.Unification
asymEncFunSigTerm.Builtin.Signature, Term.Builtin.Rules
asymEncMaudeSigTerm.Maude.Signature, Term.Unification
asymEncRulesTerm.Builtin.Rules
atPosTerm.Positions
avoidTerm.LTerm, Term.Substitution, Term.Unification
bindTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
BoundTerm.LTerm, Term.Substitution, Term.Unification
BVarTerm.LTerm, Term.Substitution, Term.Unification
canonizeSubstTerm.Subsumption
checkCompleteTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
checkMinimalTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
compareSubstVariantTerm.Narrowing.Variants.Compute, Term.Narrowing.Variants
compareTermSubsTerm.Subsumption
composeTerm.Substitution, Term.Unification
composeVFreshTerm.Substitution, Term.Unification
computeVariantsTerm.Narrowing.Variants.Compute, Term.Narrowing.Variants
computeVariantsBoundTerm.Narrowing.Variants.Compute, Term.Narrowing.Variants
computeVariantsCheckTerm.Narrowing.Variants
ConTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
constsVTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
constTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
destInverseTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
destPairTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
destProductTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
destUnionTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
destXorTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
dhFunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
dhMaudeSigTerm.Maude.Signature, Term.Unification
dhReducibleFunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
dhRulesTerm.Builtin.Rules
domTerm.Substitution, Term.Unification
domVFreshTerm.Substitution, Term.Unification
EmptyTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
emptySubstTerm.Substitution, Term.Unification
emptySubstVFreshTerm.Substitution, Term.Unification
enableDHTerm.Maude.Signature, Term.Unification
enableMSetTerm.Maude.Signature, Term.Unification
enableXorTerm.Maude.Signature, Term.Unification
eqLHSTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
eqModuloFreshnessNoACTerm.LTerm, Term.Substitution, Term.Unification
eqRHSTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
eqTermSubsTerm.Subsumption
Equal 
1 (Type/Class)Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification
2 (Data Constructor)Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification
evalEqualTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
evalFreshAvoidingTerm.LTerm, Term.Substitution, Term.Unification
evalFreshTAvoidingTerm.LTerm, Term.Substitution, Term.Unification
extendWithRenamingTerm.Substitution, Term.Unification
f1Term.Builtin.Convenience
f2Term.Builtin.Convenience
f3Term.Builtin.Convenience
f4Term.Builtin.Convenience
f5Term.Builtin.Convenience
f6Term.Builtin.Convenience
f7Term.Builtin.Convenience
f8Term.Builtin.Convenience
f9Term.Builtin.Convenience
factorSubstViaTerm.Subsumption
FAppTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppACTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppEmptyTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppExpTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppFstTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppInvTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppListTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppMultTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FAppNonACTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppNonACTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppOneTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppPairTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppSndTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppUnionTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppXorTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fAppZeroTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FExpTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FInvTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FListTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fmapTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FMultTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
foldBVarTerm.LTerm, Term.Substitution, Term.Unification
foldFreesTerm.LTerm, Term.Substitution, Term.Unification
FPairTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FreeTerm.LTerm, Term.Substitution, Term.Unification
freesTerm.LTerm, Term.Substitution, Term.Unification
freesListTerm.LTerm, Term.Substitution, Term.Unification
freeToFreshRawTerm.Substitution, Term.Unification
freshLVarTerm.LTerm, Term.Substitution, Term.Unification
FreshNameTerm.LTerm, Term.Substitution, Term.Unification
freshTermTerm.LTerm, Term.Substitution, Term.Unification
freshToFreeTerm.Substitution, Term.Unification
freshToFreeAvoidingTerm.Substitution, Term.Unification
freshToFreeAvoidingFastTerm.Substitution, Term.Unification
FreshVarTerm.Maude.Types
freshVarTerm.Builtin.Convenience
fromFreeTerm.LTerm, Term.Substitution, Term.Unification
functionSymbolsTerm.Maude.Signature
FUnionTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
FunSymTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
fx0Term.Builtin.Convenience
fx1Term.Builtin.Convenience
fx10Term.Builtin.Convenience
fx2Term.Builtin.Convenience
fx3Term.Builtin.Convenience
fx4Term.Builtin.Convenience
fx5Term.Builtin.Convenience
fx6Term.Builtin.Convenience
fx7Term.Builtin.Convenience
fx8Term.Builtin.Convenience
fx9Term.Builtin.Convenience
FXorTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
getMaudeStatsTerm.Maude.Process, Term.Unification
getNameIdTerm.LTerm, Term.Substitution, Term.Unification
HasFreesTerm.LTerm, Term.Substitution, Term.Unification
hashFunSigTerm.Builtin.Signature, Term.Builtin.Rules
hashMaudeSigTerm.Maude.Signature, Term.Unification
hashSymTerm.Builtin.Signature, Term.Builtin.Rules
i1Term.Builtin.Convenience
i2Term.Builtin.Convenience
i3Term.Builtin.Convenience
i4Term.Builtin.Convenience
i5Term.Builtin.Convenience
i6Term.Builtin.Convenience
i7Term.Builtin.Convenience
i8Term.Builtin.Convenience
i9Term.Builtin.Convenience
imageOfTerm.Substitution, Term.Unification
imageOfVFreshTerm.Substitution, Term.Unification
implicitFunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
inputTerm.LTerm, Term.Substitution, Term.Unification
irreducibleFunctionSymbolsTerm.Maude.Signature, Term.Unification
IsConstTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
isFreshVarTerm.LTerm, Term.Substitution, Term.Unification
isInverseTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
isMsgVarTerm.LTerm, Term.Substitution, Term.Unification
isNormalInstanceTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
isPairTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
isProductTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
isRenamingTerm.Substitution, Term.Unification
isUnionTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
IsVarTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
isVarTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
isXorTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
leqSubstVariantTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
li1Term.Builtin.Convenience
li2Term.Builtin.Convenience
li3Term.Builtin.Convenience
li4Term.Builtin.Convenience
li5Term.Builtin.Convenience
li6Term.Builtin.Convenience
li7Term.Builtin.Convenience
li8Term.Builtin.Convenience
li9Term.Builtin.Convenience
ListTerm.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
litTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
Lit2Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
litsTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
LNSubstTerm.Substitution, Term.Unification
LNSubstVFreshTerm.Substitution, Term.Unification
LNTermTerm.LTerm, Term.Substitution, Term.Unification
ls1Term.Builtin.Convenience
ls2Term.Builtin.Convenience
ls3Term.Builtin.Convenience
ls4Term.Builtin.Convenience
ls5Term.Builtin.Convenience
ls6Term.Builtin.Convenience
ls7Term.Builtin.Convenience
ls8Term.Builtin.Convenience
ls9Term.Builtin.Convenience
LSortTerm.LTerm, Term.Substitution, Term.Unification
LSortFreshTerm.LTerm, Term.Substitution, Term.Unification
LSortMSetTerm.LTerm, Term.Substitution, Term.Unification
LSortMsgTerm.LTerm, Term.Substitution, Term.Unification
LSortNodeTerm.LTerm, Term.Substitution, Term.Unification
LSortPubTerm.LTerm, Term.Substitution, Term.Unification
LSubstTerm.Substitution, Term.Unification
LSubstVFreshTerm.Substitution, Term.Unification
LTermTerm.LTerm, Term.Substitution, Term.Unification
lTermToMTermTerm.Maude.Types
lTermToMTerm'Term.Maude.Types
lv1Term.Builtin.Convenience
lv2Term.Builtin.Convenience
lv3Term.Builtin.Convenience
lv4Term.Builtin.Convenience
lv5Term.Builtin.Convenience
lv6Term.Builtin.Convenience
lv7Term.Builtin.Convenience
lv8Term.Builtin.Convenience
lv9Term.Builtin.Convenience
LVar 
1 (Type/Class)Term.LTerm, Term.Substitution, Term.Unification
2 (Data Constructor)Term.LTerm, Term.Substitution, Term.Unification
lvarIdxTerm.LTerm, Term.Substitution, Term.Unification
lvarNameTerm.LTerm, Term.Substitution, Term.Unification
lvarSortTerm.LTerm, Term.Substitution, Term.Unification
lx1Term.Builtin.Convenience
lx10Term.Builtin.Convenience
lx2Term.Builtin.Convenience
lx3Term.Builtin.Convenience
lx4Term.Builtin.Convenience
lx5Term.Builtin.Convenience
lx6Term.Builtin.Convenience
lx7Term.Builtin.Convenience
lx8Term.Builtin.Convenience
lx9Term.Builtin.Convenience
mainTerm.UnitTests
mapFreesTerm.LTerm, Term.Substitution, Term.Unification
mapRangeTerm.Substitution, Term.Unification
mapRangeVFreshTerm.Substitution, Term.Unification
MatchTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
matchLNTermTerm.Unification
matchLTermTerm.Unification
matchPatternTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
matchTermTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
matchViaMaudeTerm.Maude.Process
MatchWithTerm.Rewriting.Definitions, Term.SubtermRule, Term.Unification
MaudeConstTerm.Maude.Types
MaudeHandle 
1 (Type/Class)Term.Maude.Process, Term.Unification
2 (Data Constructor)Term.Maude.Process
MaudeLitTerm.Maude.Types
MaudeSigTerm.Maude.Signature, Term.Unification
MaudeVarTerm.Maude.Types
maybeNotNfSubtermsTerm.Rewriting.Norm
mhFilePathTerm.Maude.Process, Term.Unification
mhMaudeSigTerm.Maude.Process, Term.Unification
mhProcTerm.Maude.Process
minimalMaudeSigTerm.Maude.Signature, Term.Unification
MonotoneTerm.LTerm, Term.Substitution, Term.Unification
MonotoneFunctionTerm.LTerm, Term.Substitution, Term.Unification
msetFunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
msetMaudeSigTerm.Maude.Signature, Term.Unification
msetRulesTerm.Builtin.Rules
MSubstTerm.Maude.Types
msubstToLSubstVFreeTerm.Maude.Types
msubstToLSubstVFreshTerm.Maude.Types
MTermTerm.Maude.Types
mTermToLNTermTerm.Maude.Types
MultTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
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
NameTagTerm.LTerm, Term.Substitution, Term.Unification
nf'Term.Rewriting.Norm
nfSubstVFresh'Term.Rewriting.Norm
nIdTerm.LTerm, Term.Substitution, Term.Unification
NonACTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
NonACSymTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
norm'Term.Rewriting.Norm
normSubstVFresh'Term.Rewriting.Norm
normViaMaudeTerm.Maude.Process
nTagTerm.LTerm, Term.Substitution, Term.Unification
NTermTerm.LTerm, Term.Substitution, Term.Unification
occursTerm.LTerm, Term.Substitution, Term.Unification
occursVTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
OneTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
p1Term.Builtin.Convenience
p2Term.Builtin.Convenience
p3Term.Builtin.Convenience
p4Term.Builtin.Convenience
p5Term.Builtin.Convenience
p6Term.Builtin.Convenience
p7Term.Builtin.Convenience
p8Term.Builtin.Convenience
p9Term.Builtin.Convenience
pairFunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
pairMaudeSigTerm.Maude.Signature, Term.Unification
pairRulesTerm.Builtin.Rules
parseMatchReplyTerm.Maude.Parser
parseReduceReplyTerm.Maude.Parser
parseUnifyReplyTerm.Maude.Parser
pkTerm.Builtin.Convenience
pkSymTerm.Builtin.Signature, Term.Builtin.Rules
PositionTerm.Positions
positionsNonVarTerm.Positions
ppMaudeTerm.Maude.Parser
ppTheoryTerm.Maude.Parser
prettyDisjLNSubstsVFreshTerm.Substitution, Term.Unification
prettyLNSubstTerm.Substitution, Term.Unification
prettyLNTermTerm.LTerm, Term.Substitution, Term.Unification
prettyLSubstVFreshTerm.Substitution, Term.Unification
prettyLVarTerm.LTerm, Term.Substitution, Term.Unification
prettyMaudeSigTerm.Maude.Signature
prettyNTermTerm.LTerm, Term.Substitution, Term.Unification
prettyStRuleTerm.SubtermRule
prettySubstTerm.Substitution, Term.Unification
prettySubstVFreshTerm.Substitution, Term.Unification
prettyTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
PubNameTerm.LTerm, Term.Substitution, Term.Unification
pubTermTerm.LTerm, Term.Substitution, Term.Unification
pubVarTerm.Builtin.Convenience
px0Term.Builtin.Convenience
px1Term.Builtin.Convenience
px10Term.Builtin.Convenience
px2Term.Builtin.Convenience
px3Term.Builtin.Convenience
px4Term.Builtin.Convenience
px5Term.Builtin.Convenience
px6Term.Builtin.Convenience
px7Term.Builtin.Convenience
px8Term.Builtin.Convenience
px9Term.Builtin.Convenience
rangeTerm.Substitution, Term.Unification
rangeVFreshTerm.Substitution, Term.Unification
removeRenamingsTerm.Substitution, Term.Unification
renameTerm.LTerm, Term.Substitution, Term.Unification
renameAvoidingTerm.LTerm, Term.Substitution, Term.Unification
renameFreshTerm.Substitution, Term.Unification
renameFreshAvoidingTerm.Substitution, Term.Unification
renamePreciseTerm.LTerm, Term.Substitution, Term.Unification
replacePosTerm.Positions
restrictTerm.Substitution, Term.Unification
restrictVFreshTerm.Substitution, Term.Unification
RhsGroundTerm.SubtermRule
RhsPositionTerm.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
rrulesForMaudeSigTerm.Maude.Signature, Term.Unification
rRuleToStRuleTerm.SubtermRule
runConversionTerm.Maude.Types
s1Term.Builtin.Convenience
s2Term.Builtin.Convenience
s3Term.Builtin.Convenience
s4Term.Builtin.Convenience
s5Term.Builtin.Convenience
s6Term.Builtin.Convenience
s7Term.Builtin.Convenience
s8Term.Builtin.Convenience
s9Term.Builtin.Convenience
sdecTerm.Builtin.Convenience
sdecSymTerm.Builtin.Signature, Term.Builtin.Rules
sencTerm.Builtin.Convenience
sencSymTerm.Builtin.Signature, Term.Builtin.Rules
signTerm.Builtin.Convenience
signatureFunSigTerm.Builtin.Signature, Term.Builtin.Rules
signatureMaudeSigTerm.Maude.Signature, Term.Unification
signatureRulesTerm.Builtin.Rules
signSymTerm.Builtin.Signature, Term.Builtin.Rules
sizeTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
SizedTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
sMapTerm.Substitution, Term.Unification
someInstTerm.LTerm, Term.Substitution, Term.Unification
sortCompareTerm.LTerm, Term.Substitution, Term.Unification
sortOfLNTermTerm.LTerm, Term.Substitution, Term.Unification
sortOfLTermTerm.LTerm, Term.Substitution, Term.Unification
sortOfNameTerm.LTerm, Term.Substitution, Term.Unification
sortPrefixTerm.LTerm, Term.Substitution, Term.Unification
sortSuffixTerm.LTerm, Term.Substitution, Term.Unification
startMaudeTerm.Maude.Process, Term.Unification
StRhsTerm.SubtermRule
StRule 
1 (Type/Class)Term.SubtermRule
2 (Data Constructor)Term.SubtermRule
stRulesTerm.Maude.Signature, Term.Unification
stRuleToRRuleTerm.SubtermRule
Subst 
1 (Type/Class)Term.Substitution, Term.Unification
2 (Data Constructor)Term.Substitution, Term.Unification
substFromListTerm.Substitution, Term.Unification
substFromListVFreshTerm.Substitution, Term.Unification
substFromMapTerm.Substitution, Term.Unification
substToListTerm.Substitution, Term.Unification
substToListOnTerm.Substitution, Term.Unification
substToListVFreshTerm.Substitution, Term.Unification
SubstVFresh 
1 (Type/Class)Term.Substitution, Term.Unification
2 (Data Constructor)Term.Substitution, Term.Unification
svMapTerm.Substitution, Term.Unification
symEncFunSigTerm.Builtin.Signature, Term.Builtin.Rules
symEncMaudeSigTerm.Maude.Signature, Term.Unification
symEncRulesTerm.Builtin.Rules
TermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
TermViewTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
TermView2Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
traverseTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
trivialTerm.LTerm, Term.Substitution, Term.Unification
trueCTerm.Builtin.Convenience
trueSymTerm.Builtin.Signature, Term.Builtin.Rules
unifyLNTermTerm.Unification
unifyLNTermFactoredTerm.Unification
unifyLTermTerm.Unification
unifyLTermFactoredTerm.Unification
unifyViaMaudeTerm.Maude.Process
UnionTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
unsafefAppTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
v1Term.Builtin.Convenience
v2Term.Builtin.Convenience
v3Term.Builtin.Convenience
v4Term.Builtin.Convenience
v5Term.Builtin.Convenience
v6Term.Builtin.Convenience
v7Term.Builtin.Convenience
v8Term.Builtin.Convenience
v9Term.Builtin.Convenience
VarTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
varTerm.Builtin.Convenience
variantsFromTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
varOccurencesTerm.Subsumption
varsRangeTerm.Substitution, Term.Unification
varsRangeVFreshTerm.Substitution, Term.Unification
varsVTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
varTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
verifyTerm.Builtin.Convenience
verifySymTerm.Builtin.Signature, Term.Builtin.Rules
viewTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
viewTerm2Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
VTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
WithMaudeTerm.Maude.Process, Term.Unification
x0Term.Builtin.Convenience
x1Term.Builtin.Convenience
x10Term.Builtin.Convenience
x2Term.Builtin.Convenience
x3Term.Builtin.Convenience
x4Term.Builtin.Convenience
x5Term.Builtin.Convenience
x6Term.Builtin.Convenience
x7Term.Builtin.Convenience
x8Term.Builtin.Convenience
x9Term.Builtin.Convenience
XorTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
xorFunSigTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
xorMaudeSigTerm.Maude.Signature, Term.Unification
xorRulesTerm.Builtin.Rules
y0Term.Builtin.Convenience
y1Term.Builtin.Convenience
y2Term.Builtin.Convenience
y3Term.Builtin.Convenience
y4Term.Builtin.Convenience
y5Term.Builtin.Convenience
y6Term.Builtin.Convenience
y7Term.Builtin.Convenience
y8Term.Builtin.Convenience
y9Term.Builtin.Convenience
ZeroTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification