Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ClauseLike a Source #
ClauseLike [a] |
Instances
type Clause = ClauseLike Literal Source #
entriesOfClauseLike :: Iso' (ClauseLike a) [a] Source #
emptyClause :: Clause -> Bool Source #
unitClause :: Clause -> Bool Source #
maxVariableInClause :: Clause -> Variable Source #