tpdb-1.1.1: Data Type for Rewriting Systems

Safe HaskellSafe-Inferred
LanguageHaskell98

TPDB.DP.Usable

Synopsis

Documentation

restrict :: (Ord c, Ord v) => RS c (Term v c) -> RS c (Term v c) Source

DANGER: this ignores the CE condition

usable :: (Ord v, Ord c) => TRS v c -> Set (Rule (Term v c)) Source

computes the least closed set of usable rules, cf. Def 4.5 http:/cl-informatik.uibk.ac.atusersgriffpublications/Sternagel-Thiemann-RTA10.pdf

fixpoint :: Eq a => (a -> a) -> a -> a Source

required :: (Ord v, Ord c) => TRS v c -> Set (Rule (Term v c)) -> Set (Rule (Term v c)) Source

needed :: (Ord v, Ord c) => TRS v c -> Term v c -> [Rule (Term v c)] Source