tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerMartin Avanzini <martin.avanzini@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Method.Mpo

Description

This module defines the MPO processors.

Synopsis

Documentation

data MpoOrder

Proof Object generated by Mpo

Constructors

MpoOrder 

Fields

mpoPrecedence :: Precedence

Precedence underlying the order.

mpoArgumentFiltering :: Maybe ArgumentFiltering

Argument filtering underlying the order.

mpoUsableSymbols :: [Symbol]

Defined symbols of usable rules.

mpoInputProblem :: Problem

The input Problem.

mpoIsPPO :: Bool
 

Instances

mpo :: InstanceOf (StdProcessor Mpo)

This processor implements multiset path orders.

ppo :: InstanceOf (StdProcessor Mpo)

This processor implements product path orders.

data Mpo

Instances

mpoProcessor :: StdProcessor Mpo