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

PureSAT.VarSet

Documentation

newtype VarSet s Source #

Constructors

VS (SparseHeap s) 

sizeofVarSet :: VarSet s -> ST s Int Source #

newVarSet :: ST s (VarSet s) Source #

cloneVarSet :: VarSet s -> ST s (VarSet s) Source #

extendVarSet :: Int -> VarSet s -> ST s (VarSet s) Source #

weightVarSet :: Var -> (Word -> Word) -> VarSet s -> ST s () Source #

scaleVarSet :: VarSet s -> (Word -> Word) -> ST s () Source #

insertVarSet :: Var -> VarSet s -> ST s () Source #

deleteVarSet :: Var -> VarSet s -> ST s () Source #

clearVarSet :: VarSet s -> ST s () Source #

minViewVarSet :: VarSet s -> ST s r -> (Var -> ST s r) -> ST s r Source #