tpdb-1.5.2: Data Type for Rewriting Systems
TPDB.DP.Transform
Synopsis
data Marked a Source #
Constructors
Instances
Methods
(==) :: Marked a -> Marked a -> Bool #
(/=) :: Marked a -> Marked a -> Bool #
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 #
showsPrec :: Int -> Marked a -> ShowS #
show :: Marked a -> String #
showList :: [Marked a] -> ShowS #
Associated Types
type Rep (Marked a) :: * -> * #
from :: Marked a -> Rep (Marked a) x #
to :: Rep (Marked a) x -> Marked a #
hashWithSalt :: Int -> Marked a -> Int #
hash :: Marked a -> Int #
pretty :: Marked a -> Doc ann #
prettyList :: [Marked a] -> Doc ann #
isOriginal :: Marked a -> Bool Source #
isMarked :: Marked a -> Bool Source #
mark_top :: Term v a -> Term v (Marked a) Source #
defined :: Ord a => RS s (Term v 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.