termlib-0.9: Term Rewriting Library (Index - R)

termlib-0.9: Term Rewriting Library

A
B
C
D
E
F
G
I
L
M
N
O
P
Q
R
S
T
U
V
W
:
$
\
All

Index - R

ranks	Termlib.Precedence
recursionDepth	Termlib.Precedence
reduced	Termlib.Rule
rename	Termlib.TermGraph
Renaming	Termlib.Term
replace	Termlib.TermGraph
ReplacementMap	Termlib.ContextSensitive, Termlib.Problem
replacingPositions	Termlib.ContextSensitive
restrictToSymbols
1 (Function)	Termlib.Signature
2 (Function)	Termlib.FunctionSymbol
rewrite	Termlib.Rule
rewriteAny	Termlib.Rule
rewriteAnyRhs	Termlib.Rule
rewriteAnyRule	Termlib.Rule
rewriteCandidates	Termlib.Rule
rewriteRhsAnyRule	Termlib.Rule
rewrites	Termlib.Rule
rhs
1 (Function)	Termlib.Rule, Termlib.Repl
2 (Function)	Termlib.TermGraph
rhss	Termlib.Trs, Termlib.Repl
root
1 (Function)	Termlib.Term, Termlib.Repl
2 (Function)	Termlib.TermGraph
rootedEdge	Termlib.TermGraph
RootLabel	Termlib.FunctionSymbol
rootPosition	Termlib.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
RuleSet	Termlib.Trs
Ruleset
1 (Type/Class)	Termlib.Problem, Termlib.Repl
2 (Data Constructor)	Termlib.Problem, Termlib.Repl
ruleSet	Termlib.Trs
ruleset	Termlib.Problem
runMaybeT	Termlib.Utils
runMemoAction	Termlib.Utils
runParser	Termlib.Problem.XmlParser
runSignature	Termlib.Signature