Safe Haskell	None
Language	Haskell2010

Satyros.CNF.Clause

Documentation

newtype ClauseLike a Source #

Constructors

ClauseLike [a]

Bundled Patterns

pattern Clause :: [Literal] -> Clause

Instances

Instances details

Eq a => Eq (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Methods (==) :: ClauseLike a -> ClauseLike a -> Bool # (/=) :: ClauseLike a -> ClauseLike a -> Bool #
Ord a => Ord (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Methods compare :: ClauseLike a -> ClauseLike a -> Ordering # (<) :: ClauseLike a -> ClauseLike a -> Bool # (<=) :: ClauseLike a -> ClauseLike a -> Bool # (>) :: ClauseLike a -> ClauseLike a -> Bool # (>=) :: ClauseLike a -> ClauseLike a -> Bool # max :: ClauseLike a -> ClauseLike a -> ClauseLike a # min :: ClauseLike a -> ClauseLike a -> ClauseLike a #
Show a => Show (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Methods showsPrec :: Int -> ClauseLike a -> ShowS # show :: ClauseLike a -> String # showList :: [ClauseLike a] -> ShowS #
Generic (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Associated Types type Rep (ClauseLike a) :: Type -> Type # Methods from :: ClauseLike a -> Rep (ClauseLike a) x # to :: Rep (ClauseLike a) x -> ClauseLike a #
Semigroup (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Methods (<>) :: ClauseLike a -> ClauseLike a -> ClauseLike a # sconcat :: NonEmpty (ClauseLike a) -> ClauseLike a # stimes :: Integral b => b -> ClauseLike a -> ClauseLike a #
Monoid (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Methods mempty :: ClauseLike a # mappend :: ClauseLike a -> ClauseLike a -> ClauseLike a # mconcat :: [ClauseLike a] -> ClauseLike a #
Wrapped (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause Associated Types type Unwrapped (ClauseLike a) # Methods _Wrapped' :: Iso' (ClauseLike a) (Unwrapped (ClauseLike a)) #
Generic1 ClauseLike Source #
Instance details Defined in Satyros.CNF.Clause Associated Types type Rep1 ClauseLike :: k -> Type # Methods from1 :: forall (a :: k). ClauseLike a -> Rep1 ClauseLike a # to1 :: forall (a :: k). Rep1 ClauseLike a -> ClauseLike a #
ClauseLike a1 ~ t => Rewrapped (ClauseLike a2) t Source #
Instance details Defined in Satyros.CNF.Clause
HasClauses (Storage s) (Vector Clause) Source #
Instance details Defined in Satyros.DPLL.Storage Methods clauses :: Lens' (Storage s) (Vector Clause) Source #
type Rep (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause type Rep (ClauseLike a) = D1 ('MetaData "ClauseLike" "Satyros.CNF.Clause" "satyros-0.2.2.1-GdlwvJvvIuCOK4gG1gnoo" 'True) (C1 ('MetaCons "ClauseLike" 'PrefixI 'True) (S1 ('MetaSel ('Just "_literalsOfClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))
type Unwrapped (ClauseLike a) Source #
Instance details Defined in Satyros.CNF.Clause type Unwrapped (ClauseLike a) = [a]
type Rep1 ClauseLike Source #
Instance details Defined in Satyros.CNF.Clause type Rep1 ClauseLike = D1 ('MetaData "ClauseLike" "Satyros.CNF.Clause" "satyros-0.2.2.1-GdlwvJvvIuCOK4gG1gnoo" 'True) (C1 ('MetaCons "ClauseLike" 'PrefixI 'True) (S1 ('MetaSel ('Just "_literalsOfClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))

type Clause = ClauseLike Literal Source #

entriesOfClauseLike :: Iso' (ClauseLike a) [a] Source #

literalsOfClause :: Iso' Clause [Literal] Source #

emptyClause :: Clause -> Bool Source #

unitClause :: Clause -> Bool Source #

maxVariableInClause :: Clause -> Variable Source #