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

PureSAT.LitVar

Synopsis

Documentation

newtype Lit Source #

Literals

Constructors

MkLit Int 

Instances

Instances details
Show Lit Source # 
Instance details

Defined in PureSAT.LitVar

Methods

showsPrec :: Int -> Lit -> ShowS

show :: Lit -> String

showList :: [Lit] -> ShowS

Eq Lit Source # 
Instance details

Defined in PureSAT.LitVar

Methods

(==) :: Lit -> Lit -> Bool

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

Ord Lit Source # 
Instance details

Defined in PureSAT.LitVar

Methods

compare :: Lit -> Lit -> Ordering

(<) :: Lit -> Lit -> Bool

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

(>) :: Lit -> Lit -> Bool

(>=) :: Lit -> Lit -> Bool

max :: Lit -> Lit -> Lit

min :: Lit -> Lit -> Lit

Prim Lit Source # 
Instance details

Defined in PureSAT.LitVar

Methods

sizeOfType# :: Proxy Lit -> Int#

sizeOf# :: 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

neg :: Lit -> Lit Source #

Negate literal

newtype Var Source #

Constructors

MkVar Int 

Instances

Instances details
Show Var Source # 
Instance details

Defined in PureSAT.LitVar

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Eq Var Source # 
Instance details

Defined in PureSAT.LitVar

Methods

(==) :: Var -> Var -> Bool

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

Ord Var Source # 
Instance details

Defined in PureSAT.LitVar

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

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

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

lit_to_var :: Int -> Int Source #

var_to_lit :: Int -> Int Source #