hylolib-1.3.1: Tools for hybrid logics related programs
HyLo.Formula.Rewrite
data Rewr prop Source
Constructors
Instances
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 rSource
unit_tests :: UnitTestSource