| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Method.InnermostRuleRemoval
Contents
Description
This module implements the innermost rule removal transformation.
- irr :: TheTransformer InnermostRuleRemoval
- data IRRProof
- = IRRProof {
- inputProblem :: Problem
- removals :: [RuleRemoval]
- | NotApplicable String
- = IRRProof {
- data RuleRemoval = RuleRemoval {}
- irrProcessor :: Transformation InnermostRuleRemoval AnyProcessor
- data InnermostRuleRemoval
Documentation
irr :: TheTransformer InnermostRuleRemoval
On innermost problems, this processor removes inapplicable rules by looking at non-root overlaps.
Proof Object
data IRRProof
Constructors
| IRRProof | |
Fields
| |
| NotApplicable String | |
Instances
data RuleRemoval
Constructors
| RuleRemoval | |