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

PureSAT.LitTable

Documentation

newtype LitTable s a Source #

Constructors

LitT (MutableArray s a) 

newLitTable :: Int -> a -> ST s (LitTable s a) Source #

readLitTable :: LitTable s a -> Lit -> ST s a Source #

writeLitTable :: LitTable s a -> Lit -> a -> ST s () Source #