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

PureSAT.LitSet

Documentation

newtype LitSet s Source #

Constructors

LS (SparseSet s) 

indexLitSet :: LitSet s -> Int -> ST s Lit Source #

newLitSet :: Int -> ST s (LitSet s) Source #

insertLitSet :: Lit -> LitSet s -> ST s () Source #

deleteLitSet :: Lit -> LitSet s -> ST s () Source #

minViewLitSet :: LitSet s -> ST s r -> (Lit -> ST s r) -> ST s r Source #

memberLitSet :: LitSet s -> Lit -> ST s Bool Source #

sizeofLitSet :: LitSet s -> ST s Int Source #