Safe Haskell	None
Language	Haskell2010

Satyros.CNF.Formula

Documentation

newtype FormulaLike a Source #

Constructors

FormulaLike [ClauseLike a]

Bundled Patterns

pattern Formula :: [Clause] -> Formula

Instances

Instances details

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

type Formula = FormulaLike Literal Source #

clauseLikesOfFormulaLike :: Iso' (FormulaLike a) [ClauseLike a] Source #

clausesOfFormula :: Iso' Formula [Clause] Source #

maxVariableInFormula :: Formula -> Variable Source #