SAT.Solver.Mios.Data.Vec

The fundamental data structure: Fixed Mutable Unboxed Int Vector

Documentation

type Vec = IOVector Int

Costs of all operations are O(1)

sizeOfVector :: Vec -> IO Int

returns the size of Vec

getNth :: Vec -> Int -> IO Int

gets the nth value

setNth :: Vec -> Int -> Int -> IO ()

sets the nth value

swapBetween :: Vec -> Int -> Int -> IO ()

swaps two elements

modifyNth :: Vec -> (Int -> Int) -> Int -> IO ()

modify the nth value

setAll :: Vec -> Int -> IO ()

sets all elements

newVec :: Int -> IO Vec

returns a new Vec

newVecWith :: Int -> Int -> IO Vec

returns a new Vec filled with an Int

newSizedVecIntFromList :: [Int] -> IO Vec

returns a new Vec from a [Int]

newSizedVecIntFromUVector :: Vector Int -> IO Vec

returns a new Vec from a Unboxed Int Vector

vecGrow :: Vec -> Int -> IO Vec

calls unasfeGrow