| Portability | unportable |
|---|---|
| Stability | unstable |
| Maintainer | Andreas Schnabl <andreas.schnabl@uibk.ac.at> |
| Safe Haskell | Safe-Infered |
Tct.Method.Weightgap
Description
This module defines the weight gap processor.
- data WeightGap = WeightGap
- data WgOn
- data WeightGapProof = WeightGapProof {
- wgProof :: OrientationProof MatrixOrder
- wgConstGrowth :: Maybe Bool
- data Orientation = OrientStrict Rule
- orientWGConstraints :: Eq l => MatrixInter (DioPoly DioVar Int) -> Trs -> DioFormula l DioVar Int
- orientWG :: SolverM m => Problem -> Domains (ArgumentsOf WeightGap) -> m (OrientationProof MatrixOrder)
- weightgapProcessor :: Transformation WeightGap AnyProcessor
- weightgap :: TheTransformer WeightGap
- wgOn :: TheTransformer WeightGap -> WgOn -> TheTransformer WeightGap
Documentation
data WgOn
data WeightGapProof
Constructors
| WeightGapProof | |
Fields
| |
Instances
data Orientation
Constructors
| OrientStrict Rule |
orientWGConstraints :: Eq l => MatrixInter (DioPoly DioVar Int) -> Trs -> DioFormula l DioVar Int
orientWG :: SolverM m => Problem -> Domains (ArgumentsOf WeightGap) -> m (OrientationProof MatrixOrder)
weightgap :: TheTransformer WeightGap
This processor implements the weightgap principle.
wgOn :: TheTransformer WeightGap -> WgOn -> TheTransformer WeightGap