Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.LitVar
Documentation
Literals
Constructors
MkLit Int |
Instances
Show Lit Source # | |
Eq Lit Source # | |
Ord Lit Source # | |
Prim Lit Source # | |
Defined in PureSAT.LitVar Methods sizeOfType# :: Proxy Lit -> Int# alignmentOfType# :: Proxy Lit -> Int# alignment# :: Lit -> Int# indexByteArray# :: ByteArray# -> Int# -> Lit readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Lit #) writeByteArray# :: MutableByteArray# s -> Int# -> Lit -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Lit -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Lit readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Lit #) writeOffAddr# :: Addr# -> Int# -> Lit -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Lit -> State# s -> State# s |
lit_to_var :: Int -> Int Source #
var_to_lit :: Int -> Int Source #