TPDB.DP.Transform

Documentation

data Marked a

Constructors

Original a

Marked a

Auxiliary a

Instances

Eq a => Eq (Marked a)

Methods

(==) :: Marked a -> Marked a -> Bool

(/=) :: Marked a -> Marked a -> Bool

Ord a => Ord (Marked a)

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

Show a => Show (Marked a)

Methods

showsPrec :: Int -> Marked a -> ShowS

show :: Marked a -> String

showList :: [Marked a] -> ShowS

Generic (Marked a)

Associated Types

type Rep (Marked a) :: * -> *

Methods

from :: Marked a -> Rep (Marked a) x

to :: Rep (Marked a) x -> Marked a

Hashable a => Hashable (Marked a)

Methods

hashWithSalt :: Int -> Marked a -> Int

hash :: Marked a -> Int

Pretty a => Pretty (Marked a)

Methods

pretty :: Marked a -> Doc

prettyList :: [Marked a] -> Doc

type Rep (Marked a)

type Rep (Marked a) = D1 (MetaData "Marked" "TPDB.DP.Transform" "tpdb-1.3.3-3MDSxF9RUnAKsR997ih9NP" False) ((:+:) (C1 (MetaCons "Original" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) ((:+:) (C1 (MetaCons "Marked" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) (C1 (MetaCons "Auxiliary" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 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.