Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Simplify

Description

Resolve empty conjunctions and other trivial cases

Documentation

negateFormula :: FORMULA f -> Maybe (FORMULA f)

mkJunction :: Ord f => Junctor -> [FORMULA f] -> Range -> FORMULA f

mkRelation :: Ord f => FORMULA f -> Relation -> FORMULA f -> Range -> FORMULA f

mkEquation :: Ord f => TERM f -> Equality -> TERM f -> Range -> FORMULA f

simplifyRecord :: Ord f => (f -> f) -> Record f (FORMULA f) (TERM f)

simplifyTerm :: Ord f => (f -> f) -> TERM f -> TERM f

simplifyFormula :: Ord f => (f -> f) -> FORMULA f -> FORMULA f