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

PureSAT.Trail

Documentation

data Trail s Source #

Constructors

Trail !(PrimVar s Int) !(MutablePrimArray s Lit) 

newTrail :: Int -> ST s (Trail s) Source #

extendTrail :: Trail s -> Int -> ST s (Trail s) Source #

indexTrail :: Trail s -> Int -> ST s Lit Source #

pushTrail :: Lit -> Trail s -> ST s () Source #

traceTrail :: LitTable s Clause2 -> Levels s -> Trail s -> ST s () Source #