Safe Haskell | Safe-Infered |
---|
Termlib.Problem
Documentation
data Strategy
Constructors
Innermost | |
Full | |
ContextSensitive ReplacementMap | |
Outermost |
data Problem
Constructors
Problem | |
Fields
|
data Ruleset
type ReplacementMap = Map Symbol IntSet
weakComponents :: Problem -> Trs
strictComponents :: Problem -> Trs
allComponents :: Problem -> Trs
dpComponents :: Problem -> Trs
trsComponents :: Problem -> Trs
isDPProblem :: Problem -> Bool
isRCProblem :: Problem -> Bool
isDCProblem :: Problem -> Bool
measureName :: Problem -> Doc
pprintComponents :: Problem -> Doc
withFreshCompounds :: Problem -> Problem
wellFormed :: Problem -> Bool