PureSAT.Trail
data Trail s Source #
Constructors
newTrail :: Int -> ST s (Trail s) Source #
cloneTrail :: Trail s -> ST s (Trail s) Source #
extendTrail :: Trail s -> Int -> ST s (Trail s) Source #
indexTrail :: Trail s -> Int -> ST s Lit Source #
popTrail :: Trail s -> ST s Lit Source #
pushTrail :: Lit -> Trail s -> ST s () Source #
traceTrail :: LitTable s Clause2 -> Levels s -> Trail s -> ST s () Source #
assertEmptyTrail :: HasCallStack => Trail s -> ST s () Source #