| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Method.DP.DependencyPairs
Contents
Description
This module implements the weak dependency pair transformation.
- dependencyPairs :: TheTransformer DPs
- dependencyTuples :: TheTransformer DPs
- data DPProof
- = DPProof {
- strictDPs :: Trs
- weakDPs :: Trs
- tuplesUsed :: Bool
- newSignature :: Signature
- newVariables :: Variables
- | NotRCProblem
- | ContainsDPs
- | TuplesNonInnermost
- = DPProof {
- dependencyPairsProcessor :: Transformation DPs AnyProcessor
- data DPs
Documentation
dependencyPairs :: TheTransformer DPs
Implements dependency pair transformation. Only applicable on runtime-complexity problems.
dependencyTuples :: TheTransformer DPs
Implements dependency tuples transformation. Only applicable on innermost runtime-complexity problems.
Proof Object
data DPProof
Constructors
| DPProof | |
Fields
| |
| NotRCProblem | |
| ContainsDPs | |
| TuplesNonInnermost | |
Instances
Processor
data DPs
Instances