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.

mark :: Marked a -> Mark Source #

data Marked a Source #

Instances

Instances details

Generic (Marked a) Source #

Instance details

Defined in TPDB.DP.Transform

Associated Types

type Rep (Marked a)
Instance details Defined in TPDB.DP.Transform type Rep (Marked a)

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 #

pattern Original :: a -> Marked a Source #

pattern Auxiliary :: a -> Marked a Source #

isOriginal :: Marked a -> Bool Source #

isMarked :: Marked a -> Bool Source #

mark_top :: TermC v a => Term v a -> Term v (Marked a) Source #

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