PureSAT.LitTable
newtype LitTable s a Source #
Constructors
newLitTable :: Int -> a -> ST s (LitTable s a) Source #
sizeofLitTable :: LitTable s a -> ST s Int Source #
readLitTable :: LitTable s a -> Lit -> ST s a Source #
writeLitTable :: LitTable s a -> Lit -> a -> ST s () Source #