Safe Haskell	None
Language	Haskell2010

PureSAT.Level

Documentation

newtype Level Source #

Constructors

Level Int

Instances

Instances details

Enum Level Source #
Instance details Defined in PureSAT.Level Methods succ :: Level -> Level pred :: Level -> Level toEnum :: Int -> Level fromEnum :: Level -> Int enumFrom :: Level -> [Level] enumFromThen :: Level -> Level -> [Level] enumFromTo :: Level -> Level -> [Level] enumFromThenTo :: Level -> Level -> Level -> [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

zeroLevel :: Level Source #

isZeroLevel :: Level -> Bool Source #

newtype Levels s Source #

Constructors

Levels (MutablePrimArray s Level)

getLevel :: Levels s -> Lit -> ST s Level Source #

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

clearLevels :: Levels s -> ST s () Source #

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

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