termlib-0.9: Term Rewriting Library

Index

$++$Termlib.Utils
:>:Termlib.Precedence
:~:Termlib.Precedence
addFreshVarTermlib.Problem.TpdbParser
addStrictRuleTermlib.Problem.TpdbParser
addWeakRuleTermlib.Problem.TpdbParser
AFTermlib.ArgumentFiltering
allComponentsTermlib.Problem, Termlib.Repl
alterTermlib.ArgumentFiltering
alterAttributesTermlib.Signature
anylistTermlib.Problem.TpdbParser
anylist1Termlib.Problem.TpdbParser
anylist2Termlib.Problem.TpdbParser
anylist3Termlib.Problem.TpdbParser
anylist4Termlib.Problem.TpdbParser
anylist5Termlib.Problem.TpdbParser
appendTermlib.Trs, Termlib.Repl
apply 
1 (Function)Termlib.Substitution
2 (Function)Termlib.ArgumentFiltering
ArgumentFilteringTermlib.ArgumentFiltering
argumentPositionsTermlib.FunctionSymbol
ArityTermlib.FunctionSymbol
arityTermlib.FunctionSymbol
astringTermlib.Problem.TpdbParser
attachedTermlib.TermGraph
attributeTermlib.Signature
Attributes 
1 (Type/Class)Termlib.Variable
2 (Data Constructor)Termlib.Variable
3 (Type/Class)Termlib.FunctionSymbol
4 (Data Constructor)Termlib.FunctionSymbol
attributesTermlib.Signature
automatonstuffTermlib.Problem.TpdbParser
BasicTermsTermlib.Problem, Termlib.Repl
blockTermlib.Utils
bothsidesTermlib.Rule
CanonTermlib.Variable
canonicalTermlib.Variable
canonise 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule, Termlib.Repl
canonVarNameTermlib.Variable
cardinality 
1 (Function)Termlib.Signature
2 (Function)Termlib.Term, Termlib.Repl
cElemsTermlib.Problem.XmlParser
childrenTermlib.TermGraph
colonTermlib.Term.Parser
columnsTermlib.Utils
columns'Termlib.Utils
complextermTermlib.Problem.TpdbParser
composeTermlib.Substitution
concTermlib.TermGraph
condTermlib.Problem.TpdbParser
condlistTermlib.Problem.TpdbParser
constrsTermlib.Problem, Termlib.Repl
constructorsTermlib.Trs, Termlib.Repl
contentTermlib.TermGraph
ContextSensitiveTermlib.Problem, Termlib.Repl
csstratTermlib.Problem.TpdbParser
csstratlistTermlib.Problem.TpdbParser
defaultAttribs 
1 (Function)Termlib.Variable
2 (Function)Termlib.FunctionSymbol
definedsTermlib.Problem, Termlib.Repl
definedSymbolsTermlib.Trs, Termlib.Repl
definingSymbolTermlib.Trs
depthTermlib.Term, Termlib.Repl
directSubgraphsTermlib.TermGraph
docHeightTermlib.Utils
docLengthTermlib.Utils
dpComponentsTermlib.Problem, Termlib.Repl
eclassesTermlib.Precedence
Edge 
1 (Type/Class)Termlib.TermGraph
2 (Data Constructor)Termlib.TermGraph
edgeTermlib.TermGraph
EdgeLabelTermlib.TermGraph
edgesTermlib.TermGraph
eitherMTermlib.Utils
empty 
1 (Function)Termlib.Signature
2 (Function)Termlib.Substitution
3 (Function)Termlib.Trs
4 (Function)Termlib.Precedence
5 (Function)Termlib.ArgumentFiltering
6 (Function)Termlib.ContextSensitive
emptyRulesetTermlib.Problem, Termlib.Repl
emptySignatureTermlib.FunctionSymbol
emptyTrsTermlib.Repl
emptyVariablesTermlib.Variable
encompassesTermlib.Substitution, Termlib.Repl
enumTermlib.Utils
EnumerateableTermlib.Utils
enumeratedTermlib.Utils
eqlistTermlib.Problem.TpdbParser
equationTermlib.Problem.TpdbParser
Filtering 
1 (Type/Class)Termlib.ArgumentFiltering
2 (Data Constructor)Termlib.ArgumentFiltering
filteringTermlib.ArgumentFiltering
filterRulesTermlib.Trs, Termlib.Repl
findByAttributeTermlib.Signature
finwhiteTermlib.Problem.TpdbParser
FLTermlib.TermGraph
foldTermlib.ArgumentFiltering
foldWithKeyTermlib.Signature
fresh 
1 (Function)Termlib.Signature
2 (Function)Termlib.Variable
3 (Function)Termlib.FunctionSymbol
freshIdTermlib.TermGraph
freshNodeTermlib.TermGraph
fromListTermlib.TermGraph
fromPairTermlib.Rule
fromRulesTermlib.Trs, Termlib.Repl
fromTermTermlib.TermGraph
fromTermMTermlib.TermGraph
fromTrsTermlib.TermGraph
fsizeTermlib.Term, Termlib.Repl
FullTermlib.Problem, Termlib.Repl
FunTermlib.Term, Termlib.Repl
funCardinalityTermlib.Term
FunctionNameTermlib.FunctionSymbol
functionSymbols 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule
3 (Function)Termlib.Trs
garbageCollectTermlib.TermGraph
genProperSubtermsTermlib.Term
genSubtermsTermlib.Term
getAttributes 
1 (Function)Termlib.Signature
2 (Function)Termlib.FunctionSymbol
getSignatureTermlib.Signature
getSymTermlib.Term.Parser
getSymbolTermlib.Problem.TpdbParser
getVarTermlib.Term.Parser
getVariablesTermlib.Problem.TpdbParser
ident 
1 (Function)Termlib.Variable
2 (Function)Termlib.Term.Parser
3 (Function)Termlib.Problem.TpdbParser
idlistTermlib.Problem.TpdbParser
ifMTermlib.Utils
immediateSubtermsTermlib.Term, Termlib.Repl
InnermostTermlib.Problem, Termlib.Repl
innermostTermlib.TermGraph
innermostRewriteStepTermlib.TermGraph
insert 
1 (Function)Termlib.Trs, Termlib.Repl
2 (Function)Termlib.Precedence
intersectTermlib.Trs, Termlib.Repl
intlistTermlib.Problem.TpdbParser
invEnumTermlib.Utils
invert 
1 (Function)Termlib.Rule, Termlib.Repl
2 (Function)Termlib.Trs
inwhiteTermlib.Problem.TpdbParser
isCollapsing 
1 (Function)Termlib.Rule
2 (Function)Termlib.Trs
isCompoundTermlib.FunctionSymbol
isConstructorTermlib.Trs
isDanglingTermlib.TermGraph
isDCProblemTermlib.Problem, Termlib.Repl
isDPProblemTermlib.Problem, Termlib.Repl
isDuplicating 
1 (Function)Termlib.Rule, Termlib.Repl
2 (Function)Termlib.Trs
isEmptyTermlib.Trs, Termlib.Repl
isErasingTermlib.Rule, Termlib.Repl
isFlat 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule
3 (Function)Termlib.Repl
isFunTermlib.TermGraph
isGround 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule
3 (Function)Termlib.Trs
4 (Function)Termlib.Repl
isLeftFlatTermlib.Rule
isLeftGroundTermlib.Rule
isLeftLinear 
1 (Function)Termlib.Rule
2 (Function)Termlib.Trs
isLeftShallowTermlib.Rule
isLinear 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule
3 (Function)Termlib.Repl
isMarkedTermlib.FunctionSymbol
isNestedRecursiveTermlib.Trs, Termlib.Repl
isNonDuplicatingTermlib.Rule, Termlib.Repl
isNonErasingTermlib.Rule, Termlib.Repl
isNonSizeDecreasingTermlib.Rule
isNonSizeIncreasing 
1 (Function)Termlib.Rule
2 (Function)Termlib.Trs
isOrthogonalTermlib.Trs, Termlib.Repl
isOverlappingTermlib.Trs, Termlib.Repl
isOverlayTermlib.Trs, Termlib.Repl
isProperSubtermOfTermlib.Term
isProperSupertermOfTermlib.Term
isRCProblemTermlib.Problem, Termlib.Repl
isRedexTermlib.TermGraph
isRenamedUnifiableTermlib.Substitution, Termlib.Repl
isRewriteRuleTermlib.Rule
isRightFlatTermlib.Rule
isRightGroundTermlib.Rule
isRightLinear 
1 (Function)Termlib.Rule
2 (Function)Termlib.Trs
isRightShallowTermlib.Rule
isShallow 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule
3 (Function)Termlib.Repl
isSizeDecreasingTermlib.Rule
isSizeIncreasing 
1 (Function)Termlib.Rule
2 (Function)Termlib.Trs
isSubtermOf 
1 (Function)Termlib.Term
2 (Function)Termlib.Repl
isSupertermOfTermlib.Term, Termlib.Repl
isSymbolTermlib.FunctionSymbol
isUnifiableTermlib.Substitution, Termlib.Repl
isVariable 
1 (Function)Termlib.Variable
2 (Function)Termlib.Term, Termlib.Repl
3 (Function)Termlib.TermGraph
LabelTermlib.FunctionSymbol
labelTermlib.TermGraph
laxidentTermlib.Problem.TpdbParser
lhs 
1 (Function)Termlib.Rule, Termlib.Repl
2 (Function)Termlib.TermGraph
lhssTermlib.Trs, Termlib.Repl
liftMemoTermlib.Utils
liftPTermlib.Problem.XmlParser
liftSTermlib.Signature
listofrulesTermlib.Problem.TpdbParser
listofthdeclTermlib.Problem.TpdbParser
listProductTermlib.Utils
lookup 
1 (Function)Termlib.Signature
2 (Function)Termlib.Variable
3 (Function)Termlib.FunctionSymbol
4 (Function)Termlib.Substitution
MalformedRuleTermlib.Problem.ParseErrors
MalformedTermTermlib.Problem.ParseErrors
mapTermlib.Substitution
mapRules 
1 (Function)Termlib.Trs, Termlib.Repl
2 (Function)Termlib.Problem
mapTermsTermlib.Trs
MatchTermlib.TermGraph
match 
1 (Function)Termlib.Substitution
2 (Function)Termlib.TermGraph
matches 
1 (Function)Termlib.Substitution, Termlib.Repl
2 (Function)Termlib.TermGraph
maybeFresh 
1 (Function)Termlib.Signature
2 (Function)Termlib.Variable
3 (Function)Termlib.FunctionSymbol
MaybeT 
1 (Type/Class)Termlib.Utils
2 (Data Constructor)Termlib.Utils
measureNameTermlib.Problem
memberTermlib.Trs, Termlib.Repl
memoTermlib.Utils
MemoActionTermlib.Utils
mkEdgeTermlib.TermGraph
mkFunTermlib.TermGraph
mkNodeTermlib.TermGraph
mkVariableTermlib.TermGraph
modifyProblemTermlib.Problem.TpdbParser
modifySignatureTermlib.Signature
NatLabelTermlib.FunctionSymbol
newIdTermlib.TermGraph
nfNormalizeTermlib.TermGraph
Node 
1 (Type/Class)Termlib.TermGraph
2 (Data Constructor)Termlib.TermGraph
nodeIdTermlib.TermGraph
nodesTermlib.TermGraph
nonVariableSubterms 
1 (Function)Termlib.Term
2 (Function)Termlib.Repl
oneintTermlib.Problem.TpdbParser
onSignatureTermlib.Problem.TpdbParser
onVariablesTermlib.Problem.TpdbParser
OrderTermlib.Precedence
OutermostTermlib.Problem, Termlib.Repl
OverlapTermlib.Rule, Termlib.Repl
overlaps 
1 (Function)Termlib.Rule
2 (Function)Termlib.Trs, Termlib.Repl
PTermlib.Problem.XmlParser
padToHeightTermlib.Utils
padToLengthTermlib.Utils
paragraphTermlib.Utils
parensTermlib.Term.Parser
ParsableTermlib.Utils
parseTermlib.Utils
ParsecParseErrorTermlib.Problem.ParseErrors
ParseErrorTermlib.Problem.ParseErrors
parseFromString 
1 (Function)Termlib.Utils
2 (Function)Termlib.Term.Parser
3 (Function)Termlib.Repl
parseOneTermlib.Problem.XmlParser
parseProblem 
1 (Function)Termlib.Problem.XmlParser
2 (Function)Termlib.Problem.TpdbParser
ParserTermlib.Problem.XmlParser
parseRuleTermlib.Problem.XmlParser
parseRulesTermlib.Problem.XmlParser
parseSignatureTermlib.Problem.XmlParser
parseStartTermsTermlib.Problem.XmlParser
parseStrategyTermlib.Problem.XmlParser
parseTermTermlib.Problem.XmlParser
ParseWarningTermlib.Problem.ParseErrors
PartiallySupportedStartTermsTermlib.Problem.ParseErrors
PartiallySupportedStrategyTermlib.Problem.ParseErrors
PositionTermlib.TermGraph
pprintTermlib.Utils
pprintCharTermlib.Utils
pprintComponentsTermlib.Problem
pprintIntTermlib.Utils
pprintNamedTrsTermlib.Trs.PrettyPrint
pprintTrsTermlib.Trs.PrettyPrint
PPTree 
1 (Type/Class)Termlib.Utils
2 (Data Constructor)Termlib.Utils
pptRootsTermlib.Utils
pptSucTermlib.Utils
Precedence 
1 (Type/Class)Termlib.Precedence
2 (Data Constructor)Termlib.Precedence
precedenceTermlib.Precedence
prependTermlib.TermGraph
PrettyPrintableTermlib.Utils
printTreeTermlib.Utils
Problem 
1 (Type/Class)Termlib.Problem, Termlib.Repl
2 (Data Constructor)Termlib.Problem, Termlib.Repl
problemFromFileTermlib.Problem.Parser
problemFromString 
1 (Function)Termlib.Problem.XmlParser
2 (Function)Termlib.Problem.TpdbParser
3 (Function)Termlib.Problem.Parser
ProblemNotFoundErrorTermlib.Problem.ParseErrors
ProjectionTermlib.ArgumentFiltering
properNonVariableSubtermsTermlib.Term
properSubtermsTermlib.Term, Termlib.Repl
qtextTermlib.Utils
ranksTermlib.Precedence
recursionDepthTermlib.Precedence
reducedTermlib.Rule
renameTermlib.TermGraph
RenamingTermlib.Term
replaceTermlib.TermGraph
ReplacementMapTermlib.ContextSensitive, Termlib.Problem
replacingPositionsTermlib.ContextSensitive
restrictToSymbols 
1 (Function)Termlib.Signature
2 (Function)Termlib.FunctionSymbol
rewriteTermlib.Rule
rewriteAnyTermlib.Rule
rewriteAnyRhsTermlib.Rule
rewriteAnyRuleTermlib.Rule
rewriteCandidatesTermlib.Rule
rewriteRhsAnyRuleTermlib.Rule
rewritesTermlib.Rule
rhs 
1 (Function)Termlib.Rule, Termlib.Repl
2 (Function)Termlib.TermGraph
rhssTermlib.Trs, Termlib.Repl
root 
1 (Function)Termlib.Term, Termlib.Repl
2 (Function)Termlib.TermGraph
rootedEdgeTermlib.TermGraph
RootLabelTermlib.FunctionSymbol
rootPositionTermlib.TermGraph
Rule 
1 (Type/Class)Termlib.Rule, Termlib.Repl
2 (Data Constructor)Termlib.Rule, Termlib.Repl
rule 
1 (Function)Termlib.Term.Parser
2 (Function)Termlib.Problem.TpdbParser
Rulelist 
1 (Type/Class)Termlib.Problem.XmlParser
2 (Type/Class)Termlib.Problem.TpdbParser
rules 
1 (Function)Termlib.Trs
2 (Function)Termlib.TermGraph
RuleSetTermlib.Trs
Ruleset 
1 (Type/Class)Termlib.Problem, Termlib.Repl
2 (Data Constructor)Termlib.Problem, Termlib.Repl
ruleSetTermlib.Trs
rulesetTermlib.Problem
runMaybeTTermlib.Utils
runMemoActionTermlib.Utils
runParserTermlib.Problem.XmlParser
runSignatureTermlib.Signature
sanitiseTermlib.Problem
sautomatTermlib.Problem.TpdbParser
scbTermlib.Problem.TpdbParser
sconsTermlib.Problem.TpdbParser
sdpTermlib.Problem, Termlib.Repl
setReplacingTermlib.ContextSensitive
sexprTermlib.Problem.TpdbParser
sfullTermlib.Problem.TpdbParser
Signature 
1 (Type/Class)Termlib.Signature
2 (Type/Class)Termlib.FunctionSymbol
signatureTermlib.Problem, Termlib.Repl
SignatureMonad 
1 (Type/Class)Termlib.Signature
2 (Type/Class)Termlib.FunctionSymbol
simpletermTermlib.Problem.TpdbParser
singleton 
1 (Function)Termlib.Substitution
2 (Function)Termlib.Trs
sinnerTermlib.Problem.TpdbParser
sizeTermlib.Term, Termlib.Repl
snubTermlib.Utils
sourcesTermlib.TermGraph
souterTermlib.Problem.TpdbParser
specTermlib.Problem.TpdbParser
speclistTermlib.Problem.TpdbParser
St 
1 (Type/Class)Termlib.TermGraph
2 (Data Constructor)Termlib.TermGraph
staTermlib.Problem.TpdbParser
starttermdeclTermlib.Problem.TpdbParser
StartTermsTermlib.Problem, Termlib.Repl
startTermsTermlib.Problem, Termlib.Repl
stepTermlib.TermGraph
Strategy 
1 (Type/Class)Termlib.TermGraph
2 (Type/Class)Termlib.Problem, Termlib.Repl
strategyTermlib.Problem, Termlib.Repl
strategydeclTermlib.Problem.TpdbParser
strictComponentsTermlib.Problem, Termlib.Repl
strictDPsTermlib.Problem, Termlib.Repl
StrictnessTermlib.Rule
StrictRuleTermlib.Rule
strictTrsTermlib.Problem, Termlib.Repl
strsTermlib.Problem, Termlib.Repl
subgraphAtTermlib.TermGraph
subsumesTermlib.Substitution, Termlib.Repl
subterms 
1 (Function)Termlib.Term
2 (Function)Termlib.Repl
symTermlib.Problem.XmlParser
symArityTermlib.FunctionSymbol
Symbol 
1 (Type/Class)Termlib.FunctionSymbol
2 (Data Constructor)Termlib.FunctionSymbol
symbolTermlib.FunctionSymbol
symbolLabelTermlib.FunctionSymbol
symbolNameTermlib.FunctionSymbol
SymbolNotInSignatureTermlib.Problem.ParseErrors
symbols 
1 (Function)Termlib.Signature
2 (Function)Termlib.FunctionSymbol
3 (Function)Termlib.Repl
symIdentTermlib.FunctionSymbol
symIsCompoundTermlib.FunctionSymbol
symIsMarkedTermlib.FunctionSymbol
symLabelTermlib.FunctionSymbol
SymMapTermlib.Problem.XmlParser
targetTermlib.TermGraph
TermTermlib.Term, Termlib.Repl
term 
1 (Function)Termlib.Term.Parser
2 (Function)Termlib.Problem.TpdbParser
TermAlgebraTermlib.Problem, Termlib.Repl
termEqTermlib.TermGraph
TermGraph 
1 (Type/Class)Termlib.TermGraph
2 (Data Constructor)Termlib.TermGraph
TermGraphRuleTermlib.TermGraph
termlistTermlib.Problem.TpdbParser
TermParserTermlib.Term.Parser
TGRTermlib.TermGraph
TGS 
1 (Type/Class)Termlib.TermGraph
2 (Data Constructor)Termlib.TermGraph
thdeclTermlib.Problem.TpdbParser
theqTermlib.Problem.TpdbParser
thidTermlib.Problem.TpdbParser
toList 
1 (Function)Termlib.Signature
2 (Function)Termlib.Substitution
toPairTermlib.Rule
topReducedTermlib.Rule
topRewriteTermlib.Rule
topRewritesTermlib.Rule
toRulesTermlib.Trs, Termlib.Repl
toTermTermlib.TermGraph
TPDBParserTermlib.Problem.TpdbParser
Trs 
1 (Type/Class)Termlib.Trs, Termlib.Repl
2 (Data Constructor)Termlib.Trs
trsComponentsTermlib.Problem, Termlib.Repl
typeofproofTermlib.Problem.TpdbParser
underlineTermlib.Utils
underlineWithTermlib.Utils
unifyTermlib.Substitution
union 
1 (Function)Termlib.Substitution
2 (Function)Termlib.Trs, Termlib.Repl
unionsTermlib.Trs
UnknownErrorTermlib.Problem.ParseErrors
UnknownFileErrorTermlib.Problem.ParseErrors
UnsupportedRewritingErrorTermlib.Problem.ParseErrors
UnsupportedStrategyTermlib.Problem.ParseErrors
UserTermlib.Variable
VarTermlib.Term, Termlib.Repl
varTermlib.Problem.XmlParser
varCardinalityTermlib.Term
varDepthTermlib.Term
VariableTermlib.Variable
variableTermlib.Variable
VariableMonadTermlib.Variable
variableNameTermlib.Variable
VariablesTermlib.Variable
variables 
1 (Function)Termlib.Term
2 (Function)Termlib.Rule
3 (Function)Termlib.Trs
4 (Function)Termlib.Problem, Termlib.Repl
variantTermlib.Substitution, Termlib.Repl
varlistTermlib.Problem.TpdbParser
varsTermlib.Repl
VLTermlib.TermGraph
warn 
1 (Function)Termlib.Problem.XmlParser
2 (Function)Termlib.Problem.TpdbParser
wdpTermlib.Problem, Termlib.Repl
weakComponentsTermlib.Problem, Termlib.Repl
weakDPsTermlib.Problem, Termlib.Repl
WeakRuleTermlib.Rule
weakTrsTermlib.Problem, Termlib.Repl
wellFormed 
1 (Function)Termlib.Trs, Termlib.Repl
2 (Function)Termlib.Problem
whitespace 
1 (Function)Termlib.Term.Parser
2 (Function)Termlib.Problem.TpdbParser
whitespacedTermlib.Term.Parser
whitespacesTermlib.Problem.TpdbParser
whitespaces1Termlib.Problem.TpdbParser
withFreshCompoundsTermlib.Problem, Termlib.Repl
WithTermsTermlib.Repl
wtrsTermlib.Problem, Termlib.Repl
\\Termlib.Trs, Termlib.Repl