tct-2.0.1: A Complexity Analyser for Term Rewrite Systems
The Tyrolean Complexity Tool (TcT for short) is a tool for proving upper bounds on the derivational and runtime complexity of term rewriting systems automatically. TcT offers both a command line interface and an interactive mode. For general usage information on the command line interface, refer to Tct.CommandLine, usage of the interactive mode is described in Tct.Interactive, and for configuration see Tct.Configuration.
Modules
- Tct
- Tct.Certificate
- Tct.CommandLine
- Tct.Configuration
- Encoding
- Tct.Instances
- Tct.Interactive
- Method
- Tct.Method.Bounds
- Tct.Method.Combinator
- Tct.Method.Compose
- Tct.Method.ComposeRC
- Tct.Method.Custom
- DP
- Tct.Method.InnermostRuleRemoval
- Matrix
- Tct.Method.Mpo
- Poly
- Tct.Method.PopStar
- Tct.Method.Predicates
- Tct.Method.RuleSelector
- Tct.Method.TCombinator
- Tct.Method.Timeout
- Tct.Method.ToInnermost
- Tct.Method.Uncurry
- Tct.Method.Weightgap
- Tct.Processor
- Tct.Processors
- Tct.Proof
- Utils