Safe Haskell	Safe-Inferred
Language	Haskell2010

TPDB.DP.Usable

Synopsis

restrict :: (Eq c, Ord v, TermC v c) => RS c (Term v c) -> RS c (Term v c)
usable :: (Eq c, Ord v, TermC v c) => TRS v c -> [Rule (Term v c)]
fixpoint :: Eq t => (t -> t) -> t -> t
required :: (Eq c, Ord v, TermC v c) => IntMap (Rule (Term v c)) -> [Int] -> IntSet
needed :: (Eq c, Ord v, TermC v c) => IntMap (Rule (Term v c)) -> Term v c -> [Int]

Documentation

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

restrict one SCC to its usable rules. DANGER: this ignores the CE condition

usable :: (Eq c, Ord v, TermC v c) => TRS v c -> [Rule (Term v c)] Source #

fixpoint :: Eq t => (t -> t) -> t -> t Source #

indices of rules that can be used to rewrite rhs of rules with indices is

needed :: (Eq c, Ord v, TermC v c) => IntMap (Rule (Term v c)) -> Term v c -> [Int] Source #

indices of rules that can be used to rewrite the given term t (including subterms)