tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

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
unaryConstraintsTct.Method.Matrix.ArcticMI
uncertifiedTct.Certificate
uncurriedStrictTct.Method.Uncurry
uncurriedWeakTct.Method.Uncurry
UncurryTct.Method.Uncurry
uncurry 
1 (Function)Tct.Method.Uncurry, Tct.Instances
2 (Function)Tct.Processors
uncurryProcessorTct.Method.Uncurry
UncurryProof 
1 (Type/Class)Tct.Method.Uncurry
2 (Data Constructor)Tct.Method.Uncurry
uncurryTrsTct.Method.Uncurry
undirectTct.Method.DP.DependencyGraph
undoTct.Interactive
unEmptyTct.Encoding.Polynomial
UnionTct.Method.Predicates, Tct.Instances
unionTct.Encoding.UsablePositions
unionsTct.Encoding.UsablePositions
UniqueTct.Method.TCombinator
Unit 
1 (Type/Class)Tct.Processor.Args
2 (Data Constructor)Tct.Processor.Args
unitTct.Encoding.Matrix
UnknownTct.Certificate
unknownTct.Certificate
UnknownErrorTct
UnrestrictedTct.Method.Matrix.NaturalMI, Tct.Instances
UnrestrictedMatrixTct.Method.Matrix.MatrixInterpretation
UnrestrictedPolyTct.Method.Poly.PolynomialInterpretation
unselectTct.Interactive
upperBoundTct.Certificate
uptoTct.Instances
URTct.Method.DP.UsableRules
URProof 
1 (Type/Class)Tct.Method.DP.UsableRules
2 (Data Constructor)Tct.Method.DP.UsableRules
usableTct.Encoding.UsableRules
usableArgsTct.Encoding.UsablePositions
usableArgsWhereApplicableTct.Encoding.UsablePositions
UsablePositionsTct.Encoding.UsablePositions
usablePositionsTct.Encoding.UsablePositions
usableRules 
1 (Function)Tct.Method.DP.UsableRules, Tct.Instances
2 (Function)Tct.Processors
usableRulesProcessorTct.Method.DP.UsableRules
usableStrictTct.Method.DP.UsableRules
usableSubtermsOfTct.Encoding.UsablePositions
usableWeakTct.Method.DP.UsableRules
usymbols 
1 (Function)Tct.Method.Matrix.NaturalMI
2 (Function)Tct.Method.Poly.NaturalPI