SAT.Solver.Mios.Data.VecBool

Mutable Unboxed Boolean Vector

• __VecBool::UV.IOVector Bool -- data type that contains a mutable list of elements

Documentation

type VecBool = IOVector Bool

Mutable unboxed Bool Vector

newVecBool :: Int -> Bool -> IO VecBool

returns a new VecBool

getNthBool :: VecBool -> Int -> IO Bool

returns the nth value in VecBool

setNthBool :: VecBool -> Int -> Bool -> IO ()

sets the nth value

modifyNthBool :: VecBool -> (Bool -> Bool) -> Int -> IO ()

sets the nth value

Orphan instances

VectorFamily VecBool Bool

provides clear and size

Methods

clear :: VecBool -> IO ()

dump :: String -> VecBool -> IO String

asVec :: VecBool -> IOVector Int

asList :: VecBool -> IO [Bool]