Satyros.CNF.Formula

Documentation

newtype FormulaLike a

Constructors

FormulaLike [ClauseLike a]

Bundled Patterns

pattern Formula :: [Clause] -> Formula

Instances

Show a => Show (FormulaLike a)

Defined in Satyros.CNF.Formula

Methods

showsPrec :: Int -> FormulaLike a -> ShowS

show :: FormulaLike a -> String

showList :: [FormulaLike a] -> ShowS

Semigroup (FormulaLike a)

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)

Defined in Satyros.CNF.Formula

Methods

mempty :: FormulaLike a

mappend :: FormulaLike a -> FormulaLike a -> FormulaLike a

mconcat :: [FormulaLike a] -> FormulaLike a

Wrapped (FormulaLike a)

Defined in Satyros.CNF.Formula

Associated Types

type Unwrapped (FormulaLike a)

Methods

_Wrapped' :: Iso' (FormulaLike a) (Unwrapped (FormulaLike a))

FormulaLike a1 ~ t => Rewrapped (FormulaLike a2) t

Defined in Satyros.CNF.Formula

type Unwrapped (FormulaLike a)

Defined in Satyros.CNF.Formula

type Unwrapped (FormulaLike a) = [ClauseLike a]

type Formula = FormulaLike Literal

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

clausesOfFormula :: Iso' Formula [Clause]

maxVariableInFormula :: Formula -> Variable