hylolib-1.5.4: Tools for hybrid logics related programs

Safe HaskellNone
LanguageHaskell2010

HyLo.Formula.Rewrite

Documentation

data Rewr prop Source #

Constructors

Orig prop 
Rewr Int 
Instances
Eq prop => Eq (Rewr prop) Source # 
Instance details

Defined in HyLo.Formula.Rewrite

Methods

(==) :: Rewr prop -> Rewr prop -> Bool #

(/=) :: Rewr prop -> Rewr prop -> Bool #

Ord prop => Ord (Rewr prop) Source # 
Instance details

Defined in HyLo.Formula.Rewrite

Methods

compare :: Rewr prop -> Rewr prop -> Ordering #

(<) :: Rewr prop -> Rewr prop -> Bool #

(<=) :: Rewr prop -> Rewr prop -> Bool #

(>) :: Rewr prop -> Rewr prop -> Bool #

(>=) :: Rewr prop -> Rewr prop -> Bool #

max :: Rewr prop -> Rewr prop -> Rewr prop #

min :: Rewr prop -> Rewr prop -> Rewr prop #

Read prop => Read (Rewr prop) Source # 
Instance details

Defined in HyLo.Formula.Rewrite

Methods

readsPrec :: Int -> ReadS (Rewr prop) #

readList :: ReadS [Rewr prop] #

readPrec :: ReadPrec (Rewr prop) #

readListPrec :: ReadPrec [Rewr prop] #

Show prop => Show (Rewr prop) Source # 
Instance details

Defined in HyLo.Formula.Rewrite

Methods

showsPrec :: Int -> Rewr prop -> ShowS #

show :: Rewr prop -> String #

showList :: [Rewr prop] -> ShowS #

pnf :: Eq n => [Formula n p r] -> [Formula n (Rewr p) r] Source #

simplify :: (Ord n, Ord p, Ord r) => Formula n p r -> Formula n p r Source #