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

PureSAT.Level

Documentation

newtype Level Source #

Constructors

Level Int 

Instances

Instances details
Enum Level Source # 
Instance details

Defined in PureSAT.Level

Show Level Source # 
Instance details

Defined in PureSAT.Level

Methods

showsPrec :: Int -> Level -> ShowS

show :: Level -> String

showList :: [Level] -> ShowS

Eq Level Source # 
Instance details

Defined in PureSAT.Level

Methods

(==) :: Level -> Level -> Bool

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

Ord Level Source # 
Instance details

Defined in PureSAT.Level

Methods

compare :: Level -> Level -> Ordering

(<) :: Level -> Level -> Bool

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

(>) :: Level -> Level -> Bool

(>=) :: Level -> Level -> Bool

max :: Level -> Level -> Level

min :: Level -> Level -> Level

Prim Level Source # 
Instance details

Defined in PureSAT.Level

Methods

sizeOfType# :: Proxy Level -> Int#

sizeOf# :: Level -> Int#

alignmentOfType# :: Proxy Level -> Int#

alignment# :: Level -> Int#

indexByteArray# :: ByteArray# -> Int# -> Level

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Level #)

writeByteArray# :: MutableByteArray# s -> Int# -> Level -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Level -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> Level

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Level #)

writeOffAddr# :: Addr# -> Int# -> Level -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> Level -> State# s -> State# s

newtype Levels s Source #

Constructors

Levels (MutablePrimArray s Level) 

setLevel :: Levels s -> Lit -> Level -> ST s () Source #

newLevels :: Int -> ST s (Levels s) Source #

extendLevels :: Levels s -> Int -> ST s (Levels s) Source #