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) Source #

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

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

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

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

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

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