Copyright	(c) Masahiro Sakai 2019
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	TypeSynonymInstances FlexibleContexts FlexibleInstances ConstrainedClassMethods MultiParamTypeClasses

ToySolver.SAT.Encoder.Cardinality

Contents

Description

Synopsis

Documentation

Instances details

PrimMonad m => AddCardinality m (Encoder m) Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods addAtLeast :: Encoder m -> [Lit] -> Int -> m () Source # addAtMost :: Encoder m -> [Lit] -> Int -> m () Source # addExactly :: Encoder m -> [Lit] -> Int -> m () Source #
Monad m => AddClause m (Encoder m) Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods addClause :: Encoder m -> Clause -> m () Source #
Monad m => NewVar m (Encoder m) Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods newVar :: Encoder m -> m Var Source # newVars :: Encoder m -> Int -> m [Var] Source # newVars_ :: Encoder m -> Int -> m () Source #

Constructors

Instances details

Bounded Strategy Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods minBound :: Strategy # maxBound :: Strategy #
Enum Strategy Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods succ :: Strategy -> Strategy # pred :: Strategy -> Strategy # toEnum :: Int -> Strategy # fromEnum :: Strategy -> Int # enumFrom :: Strategy -> [Strategy] # enumFromThen :: Strategy -> Strategy -> [Strategy] # enumFromTo :: Strategy -> Strategy -> [Strategy] # enumFromThenTo :: Strategy -> Strategy -> Strategy -> [Strategy] #
Show Strategy Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods showsPrec :: Int -> Strategy -> ShowS # show :: Strategy -> String # showList :: [Strategy] -> ShowS #
Eq Strategy Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods (==) :: Strategy -> Strategy -> Bool # (/=) :: Strategy -> Strategy -> Bool #
Ord Strategy Source #
Instance details Defined in ToySolver.SAT.Encoder.Cardinality Methods compare :: Strategy -> Strategy -> Ordering # (<) :: Strategy -> Strategy -> Bool # (<=) :: Strategy -> Strategy -> Bool # (>) :: Strategy -> Strategy -> Bool # (>=) :: Strategy -> Strategy -> Bool # max :: Strategy -> Strategy -> Strategy # min :: Strategy -> Strategy -> Strategy #

Polarity

Constructors

Polarity
Fields polarityPosOccurs :: Bool polarityNegOccurs :: Bool

Instances details

Show Polarity Source #
Instance details Defined in ToySolver.SAT.Encoder.Tseitin Methods showsPrec :: Int -> Polarity -> ShowS # show :: Polarity -> String # showList :: [Polarity] -> ShowS #
Eq Polarity Source #
Instance details Defined in ToySolver.SAT.Encoder.Tseitin Methods (==) :: Polarity -> Polarity -> Bool # (/=) :: Polarity -> Polarity -> Bool #