Safe Haskell	Safe-Inferred
Language	Haskell2010

TPDB.DP.Transform

Synopsis

dp :: (Eq v, Ord s, TermC v s) => RS s (Term v s) -> RS (Marked s) (Term v (Marked s))
mark :: Marked a -> Mark
data Marked a
pattern Marked :: a -> Marked a
pattern Original :: a -> Marked a
pattern Auxiliary :: a -> Marked a
isOriginal :: Marked a -> Bool
isMarked :: Marked a -> Bool
mark_top :: TermC v a => Term v a -> Term v (Marked a)
defined :: Ord a => RS s (Term v a) -> Set a

Documentation

dp :: (Eq v, Ord s, TermC v s) => RS s (Term v s) -> RS (Marked s) (Term v (Marked s)) Source #

compute the DP transformed system.

Instances details

Generic (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Associated Types type Rep (Marked a) :: Type -> Type # Methods from :: Marked a -> Rep (Marked a) x # to :: Rep (Marked a) x -> Marked a #
Show a => Show (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods showsPrec :: Int -> Marked a -> ShowS # show :: Marked a -> String # showList :: [Marked a] -> ShowS #
Eq a => Eq (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods (==) :: Marked a -> Marked a -> Bool # (/=) :: Marked a -> Marked a -> Bool #
Ord a => Ord (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods compare :: Marked a -> Marked a -> Ordering # (<) :: Marked a -> Marked a -> Bool # (<=) :: Marked a -> Marked a -> Bool # (>) :: Marked a -> Marked a -> Bool # (>=) :: Marked a -> Marked a -> Bool # max :: Marked a -> Marked a -> Marked a # min :: Marked a -> Marked a -> Marked a #
Hashable a => Hashable (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods hashWithSalt :: Int -> Marked a -> Int # hash :: Marked a -> Int #
Pretty a => Pretty (Marked a) Source #
Instance details Defined in TPDB.DP.Transform Methods pretty :: Marked a -> Doc ann # prettyList :: [Marked a] -> Doc ann #
type Rep (Marked a) Source #
Instance details Defined in TPDB.DP.Transform type Rep (Marked a)

pattern Marked :: a -> Marked a Source #

defined :: Ord a => RS s (Term v a) -> Set a Source #