Satyros.CNF.Literal
data Literal where Source #
Bundled Patterns
Defined in Satyros.CNF.Literal
Methods
(==) :: Literal -> Literal -> Bool #
(/=) :: Literal -> Literal -> Bool #
compare :: Literal -> Literal -> Ordering #
(<) :: Literal -> Literal -> Bool #
(<=) :: Literal -> Literal -> Bool #
(>) :: Literal -> Literal -> Bool #
(>=) :: Literal -> Literal -> Bool #
max :: Literal -> Literal -> Literal #
min :: Literal -> Literal -> Literal #
showsPrec :: Int -> Literal -> ShowS #
show :: Literal -> String #
showList :: [Literal] -> ShowS #
Defined in Satyros.DPLL.Storage
clauses :: Lens' (Storage s) (Vector Clause) Source #
negateLiteral :: Literal -> Literal Source #
literalToVariable :: Literal -> Variable Source #
literalToPositivity :: Literal -> Positivity Source #