termlib-0.9: Term Rewriting Library

Safe HaskellSafe-Infered

Termlib.Problem

Documentation

data Strategy

Constructors

Innermost 
Full 
ContextSensitive ReplacementMap 
Outermost 

Instances

data StartTerms

Constructors

BasicTerms 

Fields

defineds :: Set Symbol
 
constrs :: Set Symbol
 
TermAlgebra (Set Symbol) 

Instances

data Problem

Constructors

Problem 

Fields

startTerms :: StartTerms

considered start-terms

strategy :: Strategy

considered strategy

variables :: Variables

underlying set of variables

signature :: Signature

underlying signature

strictDPs :: Trs

strict dependency pairs

strictTrs :: Trs

strict rules

weakDPs :: Trs

weak dependency pairs

weakTrs :: Trs

weak rules

Instances

data Ruleset

Constructors

Ruleset 

Fields

sdp :: Trs

strict dependency pairs

wdp :: Trs

weak dependency pairs

strs :: Trs

strict rules

wtrs :: Trs

weak rules

type ReplacementMap = Map Symbol IntSet

ruleset :: Problem -> Ruleset

emptyRuleset :: Ruleset

weakComponents :: Problem -> Trs

strictComponents :: Problem -> Trs

allComponents :: Problem -> Trs

dpComponents :: Problem -> Trs

trsComponents :: Problem -> Trs

isDPProblem :: Problem -> Bool

isRCProblem :: Problem -> Bool

isDCProblem :: Problem -> Bool

mapRules :: (Trs -> Trs) -> Problem -> Problem

measureName :: Problem -> Doc

pprintComponents :: Problem -> Doc

withFreshCompounds :: Problem -> Problem

sanitise :: Problem -> Problem

wellFormed :: Problem -> Bool