Portability	unportable
Stability	unstable
Maintainer	Martin Avanzini <martin.avanzini@uibk.ac.at>
Safe Haskell	Safe-Infered

Tct.Method.Predicates

Contents

Instances
- Lifting of functions to predicate processors.
Processors

Description

This module defines various predicate processors, i.e., processors that return either Yes(?,?) or No.

Synopsis

Documentation

data PredicateProof

Proof generated by predicate processor.

Instances

ComplexityProof PredicateProof

data WhichTrs

Determines which components of a problem should be checked.

Constructors

Strict	Check predicate on strict components.
Weak	Check predicate on weak components.
Both	Check predicate on weak and strict components.
Union	Check predicate on the union of strict and strict components.

Instances

Bounded WhichTrs
Enum WhichTrs
Eq WhichTrs
Ord WhichTrs
Show WhichTrs
Typeable WhichTrs

data Predicate

The predicate processor.

Instances

Processor Predicate

predicateProcessors :: [StdProcessor Predicate]

Collects all predicate processors.

Instances

isCollapsing :: WhichTrs -> ProcessorInstance Predicate

isConstructor :: WhichTrs -> ProcessorInstance Predicate

isDuplicating :: WhichTrs -> ProcessorInstance Predicate

isLeftLinear :: WhichTrs -> ProcessorInstance Predicate

isRightLinear :: WhichTrs -> ProcessorInstance Predicate

isOverlay :: WhichTrs -> ProcessorInstance Predicate

isOrthogonal :: WhichTrs -> ProcessorInstance Predicate

isGround :: WhichTrs -> ProcessorInstance Predicate

isWellFormed :: WhichTrs -> ProcessorInstance Predicate

isFull :: ProcessorInstance Predicate

isInnermost :: ProcessorInstance Predicate

isOutermost :: ProcessorInstance Predicate

isRCProblem :: ProcessorInstance Predicate

isDCProblem :: ProcessorInstance Predicate

isContextSensitive :: ProcessorInstance Predicate

Lifting of functions to predicate processors.

trsPredicate :: String -> (Trs -> Bool) -> WhichTrs -> ProcessorInstance Predicate

problemPredicate :: String -> (Problem -> Bool) -> ProcessorInstance Predicate

Processors

isCollapsingProcessor :: StdProcessor Predicate

isConstructorProcessor :: StdProcessor Predicate

isDuplicatingProcessor :: StdProcessor Predicate

isLeftLinearProcessor :: StdProcessor Predicate

isRightLinearProcessor :: StdProcessor Predicate

isOrthogonalProcessor :: StdProcessor Predicate

isOverlayProcessor :: StdProcessor Predicate

isGroundProcessor :: StdProcessor Predicate

isWellFormedProcessor :: StdProcessor Predicate

isFullProcessor :: StdProcessor Predicate

isInnermostProcessor :: StdProcessor Predicate

isOutermostProcessor :: StdProcessor Predicate

isRCProblemProcessor :: StdProcessor Predicate

isDCProblemProcessor :: StdProcessor Predicate

isContextSensitiveProcessor :: StdProcessor Predicate