Hets - the Heterogeneous Tool Set

Copyright	(c) Christian Maeder DFKI GmbH 2009
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Propositional.Fold

Description

folding and simplification of propositional formulas

Documentation

data FoldRecord a Source #

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

mapRecord :: FoldRecord FORMULA Source #

isNeg :: FORMULA -> Bool Source #

getLits :: Set FORMULA -> Set FORMULA Source #

bothLits :: Set FORMULA -> Bool Source #

getConj :: FORMULA -> [FORMULA] Source #

getDisj :: FORMULA -> [FORMULA] Source #

flatConj :: [FORMULA] -> Set FORMULA Source #

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

flatDisj :: [FORMULA] -> Set FORMULA Source #

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

simplify :: FORMULA -> FORMULA Source #

elimEquiv :: FORMULA -> FORMULA Source #

elimImpl :: FORMULA -> FORMULA Source #

negForm :: Range -> FORMULA -> FORMULA Source #

moveNegIn :: FORMULA -> FORMULA Source #

distributeAndOverOr :: FORMULA -> FORMULA Source #

cnf :: FORMULA -> FORMULA Source #

flipLiterals :: FORMULA -> FORMULA Source #

distributeOrOverAnd :: FORMULA -> FORMULA Source #

dnf :: FORMULA -> FORMULA Source #

combine :: [[a]] -> [[a]] Source #