Documentation

data RuleSet a

type Trs = RuleSet Rule

rules :: Trs -> [Rule]

empty :: Trs

singleton :: Rule -> Trs

invert :: Trs -> Trs

lhss :: Trs -> [Term]

rhss :: Trs -> [Term]

append :: Trs -> Trs -> Trs

union :: Trs -> Trs -> Trs

unions :: [Trs] -> Trs

intersect :: Trs -> Trs -> Trs

member :: Trs -> Rule -> Bool

(\\) :: Trs -> Trs -> Trs

wellFormed :: Trs -> Bool

fromRules :: [Rule] -> Trs

toRules :: Trs -> [Rule]

isEmpty :: Trs -> Bool

mapRules :: (Rule -> Rule) -> Trs -> Trs

mapTerms :: (Term -> Term) -> Trs -> Trs

filterRules :: (Rule -> Bool) -> Trs -> Trs

insert :: Rule -> Trs -> Trs

variables :: Trs -> Set Variable

functionSymbols :: Trs -> Set Symbol

definedSymbols :: Trs -> Set Symbol

constructors :: Trs -> Set Symbol

definingSymbol :: Trs -> Symbol -> Trs

isDuplicating :: Trs -> Bool

isGround :: Trs -> Bool

isLeftLinear :: Trs -> Bool

isRightLinear :: Trs -> Bool

isSizeIncreasing :: Trs -> Bool

isNonSizeIncreasing :: Trs -> Bool

isConstructor :: Trs -> Bool

isCollapsing :: Trs -> Bool

isNestedRecursive :: Trs -> Bool

overlaps :: Trs -> [Overlap]

isOverlapping :: Trs -> Bool

isOverlay :: Trs -> Bool

isOrthogonal :: Trs -> Bool