Contents
Index
tct-2.0.1: A Complexity Analyser for Term Rewrite Systems
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
<
>
^
All
Index - U
uargMonotoneConstraints
1 (Function)
Tct.Method.Matrix.NaturalMI
2 (Function)
Tct.Method.Matrix.ArcticMI
uargs
1 (Function)
Tct.Method.Matrix.NaturalMI
2 (Function)
Tct.Method.Matrix.ArcticMI
3 (Function)
Tct.Method.Poly.NaturalPI
4 (Function)
Tct.Interactive
unaryConstraints
Tct.Method.Matrix.ArcticMI
uncertified
Tct.Certificate
uncurriedStrict
Tct.Method.Uncurry
uncurriedWeak
Tct.Method.Uncurry
Uncurry
Tct.Method.Uncurry
uncurry
1 (Function)
Tct.Method.Uncurry
,
Tct.Instances
2 (Function)
Tct.Processors
uncurryProcessor
Tct.Method.Uncurry
UncurryProof
1 (Type/Class)
Tct.Method.Uncurry
2 (Data Constructor)
Tct.Method.Uncurry
uncurryTrs
Tct.Method.Uncurry
undirect
Tct.Method.DP.DependencyGraph
undo
Tct.Interactive
unEmpty
Tct.Encoding.Polynomial
Union
Tct.Method.Predicates
,
Tct.Instances
union
Tct.Encoding.UsablePositions
unions
Tct.Encoding.UsablePositions
Unique
Tct.Method.TCombinator
Unit
1 (Type/Class)
Tct.Processor.Args
2 (Data Constructor)
Tct.Processor.Args
unit
Tct.Encoding.Matrix
Unknown
Tct.Certificate
unknown
Tct.Certificate
UnknownError
Tct
Unrestricted
Tct.Method.Matrix.NaturalMI
,
Tct.Instances
UnrestrictedMatrix
Tct.Method.Matrix.MatrixInterpretation
UnrestrictedPoly
Tct.Method.Poly.PolynomialInterpretation
unselect
Tct.Interactive
upperBound
Tct.Certificate
upto
Tct.Instances
UR
Tct.Method.DP.UsableRules
URProof
1 (Type/Class)
Tct.Method.DP.UsableRules
2 (Data Constructor)
Tct.Method.DP.UsableRules
usable
Tct.Encoding.UsableRules
usableArgs
Tct.Encoding.UsablePositions
usableArgsWhereApplicable
Tct.Encoding.UsablePositions
UsablePositions
Tct.Encoding.UsablePositions
usablePositions
Tct.Encoding.UsablePositions
usableRules
1 (Function)
Tct.Method.DP.UsableRules
,
Tct.Instances
2 (Function)
Tct.Processors
usableRulesProcessor
Tct.Method.DP.UsableRules
usableStrict
Tct.Method.DP.UsableRules
usableSubtermsOf
Tct.Encoding.UsablePositions
usableWeak
Tct.Method.DP.UsableRules
usymbols
1 (Function)
Tct.Method.Matrix.NaturalMI
2 (Function)
Tct.Method.Poly.NaturalPI