| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Martin Avanzini <martin.avanzini@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Method.DP.UsableRules
Contents
Description
This module provides the usable rules transformation.
- usableRules :: TheTransformer UR
- data URProof
- = URProof {
- usableStrict :: Trs
- usableWeak :: Trs
- signature :: Signature
- variables :: Variables
- progressed :: Bool
- | Error DPError
- = URProof {
- usableRulesProcessor :: Transformation UR AnyProcessor
- data UR
- mkUsableRules :: Problem -> Trs -> Trs
Documentation
Proof Object
data URProof
Constructors
| URProof | |
Fields
| |
| Error DPError | |
Instances
Processor
data UR
Instances
Utilities
mkUsableRules :: Problem -> Trs -> Trs
The Trs 'mkUsableRules prob trs' contains
all rules of trs which are usable by prob.