tamarin-prover-term-1.2.2: Term manipulation library for the tamarin prover. (Index)

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

Index

# | Term.Builtin.Convenience
*: | Term.Builtin.Convenience
AC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
ACSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
addCtxtStRule | Term.Maude.Signature, Term.Unification
addFunSym | 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
containsNoPrivateExcept | Term.LTerm, Term.Substitution, Term.Unification
containsPrivate | Term.LTerm, Term.Substitution, Term.Unification
CSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
CtxtStRule |
1 (Type/Class) | Term.SubtermRule
2 (Data Constructor) | Term.SubtermRule
ctxtStRuleToRRule | Term.SubtermRule
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
DiffBoth | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
DiffLeft | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
DiffNone | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
DiffRight | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
diffSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
diffSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
DiffType | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
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
enableDiff | Term.Maude.Signature, Term.Unification
enableDiffMaudeSig | 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
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
fAppDiff | 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
FDiff | 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
getLeftTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
getMaudeStats | Term.Maude.Process, Term.Unification
getMsgVar | Term.LTerm, Term.Substitution, Term.Unification
getNameId | Term.LTerm, Term.Substitution, Term.Unification
getRightTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification
getVar | 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
isDiff | 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 | 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
NodeName | 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
positions | Term.Positions
positionsNonVar | Term.Positions
ppLSubst | Term.UnitTests
ppLTerm | Term.UnitTests
ppMaude | Term.Maude.Parser
ppTheory | Term.Maude.Parser
prettyCtxtStRule | Term.SubtermRule
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
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
renameAvoidingIgnoring | Term.LTerm, Term.Substitution, Term.Unification
renameDropNamehint | Term.LTerm, Term.Substitution, Term.Unification
renameFresh | Term.Substitution, Term.Unification
renameFreshAvoiding | Term.Substitution, Term.Unification
renameIgnoring | Term.LTerm, Term.Substitution, Term.Unification
renamePrecise | Term.LTerm, Term.Substitution, Term.Unification
replacePos | Term.Positions
restrict | Term.Substitution, Term.Unification
restrictVFresh | Term.Substitution, Term.Unification
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
rRuleToCtxtStRule | 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
showLitName | 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 |
1 (Type/Class) | Term.SubtermRule
2 (Data Constructor) | Term.SubtermRule
stRules | Term.Maude.Signature, Term.Unification
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
termViewToTerm | 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