Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder, DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Propositional.Fold

Description

folding and simplification of propositional formulas

Documentation

data FoldRecord a

Constructors

FoldRecord 

Fields

foldNegation :: a -> Range -> a
 
foldConjunction :: [a] -> Range -> a
 
foldDisjunction :: [a] -> Range -> a
 
foldImplication :: a -> a -> Range -> a
 
foldEquivalence :: a -> a -> Range -> a
 
foldTrue_atom :: Range -> a
 
foldFalse_atom :: Range -> a
 
foldPredication :: Token -> a
 

foldFormula :: FoldRecord a -> FORMULA -> a

mapRecord :: FoldRecord FORMULA

isNeg :: FORMULA -> Bool

getLits :: Set FORMULA -> Set FORMULA

bothLits :: Set FORMULA -> Bool

getConj :: FORMULA -> [FORMULA]

getDisj :: FORMULA -> [FORMULA]

flatConj :: [FORMULA] -> Set FORMULA

mkConj :: [FORMULA] -> Range -> FORMULA

flatDisj :: [FORMULA] -> Set FORMULA

mkDisj :: [FORMULA] -> Range -> FORMULA

simplify :: FORMULA -> FORMULA

elimEquiv :: FORMULA -> FORMULA

elimImpl :: FORMULA -> FORMULA

negForm :: Range -> FORMULA -> FORMULA

moveNegIn :: FORMULA -> FORMULA

distributeAndOverOr :: FORMULA -> FORMULA

cnf :: FORMULA -> FORMULA

flipLiterals :: FORMULA -> FORMULA

distributeOrOverAnd :: FORMULA -> FORMULA

dnf :: FORMULA -> FORMULA

combine :: [[a]] -> [[a]]