tpdb-1.2.0: Data Type for Rewriting Systems
TPDB.DP.Transform
Synopsis
data Marked a Source
Constructors
Instances
isOriginal :: Marked t -> Bool Source
isMarked :: Marked t -> Bool Source
mark_top :: Term v a -> Term v (Marked a) Source
defined :: Ord a => RS s (Term t a) -> Set a Source
dp :: (Ord v, Ord s) => RS s (Term v s) -> RS (Marked s) (Term v (Marked s)) Source
compute the DP transformed system.