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

Propositional.Fold

Description

folding and simplification of propositional formulas

Documentation

data FoldRecord a Source #

Constructors

FoldRecord 

Fields

isNeg :: FORMULA -> Bool Source #

bothLits :: Set FORMULA -> Bool Source #

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