Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
(This is a part of MIOS.) Clause, supporting pointer-based equality
Documentation
Fig. 7.(p.11)
normal, null (and binary) clause.
This matches both of Clause
and GClause
in MiniSat.
Instances
newClauseFromStack :: Bool -> Stack -> IO Clause Source #
copies vec and return a new Clause
.
Since 1.0.100 DIMACS reader should use a scratch buffer allocated statically.
Vector of Clause
newClauseVector :: Int -> IO ClauseVector Source #
returns a new ClauseVector
.