Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.VarSet
Documentation
Constructors
VS (SparseHeap s) |
sizeofVarSet :: VarSet s -> ST s Int Source #
scaleVarSet :: VarSet s -> (Word -> Word) -> ST s () Source #
clearVarSet :: VarSet s -> ST s () Source #