puresat-0.1: Pure Haskell SAT-solver
Safe HaskellSafe-Inferred
LanguageHaskell2010

PureSAT.LBool

Documentation

data LBool Source #

Constructors

LFalse 
LTrue 
LUndef 

Instances

Instances details
Show LBool Source # 
Instance details

Defined in PureSAT.LBool

Methods

showsPrec :: Int -> LBool -> ShowS

show :: LBool -> String

showList :: [LBool] -> ShowS

Eq LBool Source # 
Instance details

Defined in PureSAT.LBool

Methods

(==) :: LBool -> LBool -> Bool

(/=) :: LBool -> LBool -> Bool

Ord LBool Source # 
Instance details

Defined in PureSAT.LBool

Methods

compare :: LBool -> LBool -> Ordering

(<) :: LBool -> LBool -> Bool

(<=) :: LBool -> LBool -> Bool

(>) :: LBool -> LBool -> Bool

(>=) :: LBool -> LBool -> Bool

max :: LBool -> LBool -> LBool

min :: LBool -> LBool -> LBool