puresat-0.1: Pure Haskell SAT-solver
Safe HaskellNone
LanguageHaskell2010

PureSAT.Clause2

Documentation

data Clause2 Source #

Constructors

MkClause2 !Bool !Lit !Lit !(PrimArray Lit) 

Instances

Instances details
Show Clause2 Source # 
Instance details

Defined in PureSAT.Clause2

Methods

showsPrec :: Int -> Clause2 -> ShowS

show :: Clause2 -> String

showList :: [Clause2] -> ShowS

forLitInClause2_ :: Clause2 -> (Lit -> ST s ()) -> ST s () Source #