Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.PartialAssignment
Documentation
newtype PartialAssignment s Source #
Constructors
PA (MutableByteArray s) |
newPartialAssignment :: Int -> ST s (PartialAssignment s) Source #
clonePartialAssignment :: PartialAssignment s -> ST s (PartialAssignment s) Source #
copyPartialAssignment :: PartialAssignment s -> PartialAssignment s -> ST s () Source #
extendPartialAssignment :: PartialAssignment s -> ST s (PartialAssignment s) Source #
lookupPartialAssignment :: Lit -> PartialAssignment s -> ST s LBool Source #
insertPartialAssignment :: Lit -> PartialAssignment s -> ST s () Source #
deletePartialAssignment :: Lit -> PartialAssignment s -> ST s () Source #
tracePartialAssignment :: PartialAssignment s -> ST s () Source #
assertLiteralInPartialAssignment :: Lit -> PartialAssignment s -> ST s () Source #
assertLiteralUndef :: Lit -> PartialAssignment s -> ST s () Source #