TPDB.DP.Transform

Documentation

data Marked a

Constructors

Original a

Marked a

Auxiliary a

Instances

Eq a => Eq (Marked a)

Ord a => Ord (Marked a)

Show a => Show (Marked a)

Generic (Marked a)

Hashable a => Hashable (Marked a)

Pretty a => Pretty (Marked a)

isOriginal :: Marked t -> Bool

isMarked :: Marked t -> Bool

mark_top :: Term v a -> Term v (Marked a)

defined :: Ord a => RS s (Term t a) -> Set a

dp :: (Ord v, Ord s) => RS s (Term v s) -> RS (Marked s) (Term v (Marked s))

compute the DP transformed system.