Copyright	(c) Masahiro Sakai 2016
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	experimental
Portability	non-portable (FlexibleContexts, FlexibleInstances, MultiParamTypeClasses)
Safe Haskell	None
Language	Haskell2010

ToySolver.SAT.Store.PB

Description

Documentation

data PBStore m Source #

Instances

PrimMonad m => AddPBNL m (PBStore m) Source #
Instance details Defined in ToySolver.SAT.Store.PB Methods addPBNLAtLeast :: PBStore m -> PBSum -> Integer -> m () Source # addPBNLAtMost :: PBStore m -> PBSum -> Integer -> m () Source # addPBNLExactly :: PBStore m -> PBSum -> Integer -> m () Source # addPBNLAtLeastSoft :: PBStore m -> Lit -> PBSum -> Integer -> m () Source # addPBNLAtMostSoft :: PBStore m -> Lit -> PBSum -> Integer -> m () Source # addPBNLExactlySoft :: PBStore m -> Lit -> PBSum -> Integer -> m () Source #
PrimMonad m => AddPBLin m (PBStore m) Source #
Instance details Defined in ToySolver.SAT.Store.PB Methods addPBAtLeast :: PBStore m -> PBLinSum -> Integer -> m () Source # addPBAtMost :: PBStore m -> PBLinSum -> Integer -> m () Source # addPBExactly :: PBStore m -> PBLinSum -> Integer -> m () Source # addPBAtLeastSoft :: PBStore m -> Lit -> PBLinSum -> Integer -> m () Source # addPBAtMostSoft :: PBStore m -> Lit -> PBLinSum -> Integer -> m () Source # addPBExactlySoft :: PBStore m -> Lit -> PBLinSum -> Integer -> m () Source #
PrimMonad m => AddCardinality m (PBStore m) Source #
Instance details Defined in ToySolver.SAT.Store.PB Methods addAtLeast :: PBStore m -> [Lit] -> Int -> m () Source # addAtMost :: PBStore m -> [Lit] -> Int -> m () Source # addExactly :: PBStore m -> [Lit] -> Int -> m () Source #
PrimMonad m => AddClause m (PBStore m) Source #
Instance details Defined in ToySolver.SAT.Store.PB Methods addClause :: PBStore m -> Clause -> m () Source #
PrimMonad m => NewVar m (PBStore m) Source #
Instance details Defined in ToySolver.SAT.Store.PB Methods newVar :: PBStore m -> m Var Source # newVars :: PBStore m -> Int -> m [Var] Source # newVars_ :: PBStore m -> Int -> m () Source #

newPBStore :: PrimMonad m => m (PBStore m) Source #

getPBFormula :: PrimMonad m => PBStore m -> m Formula Source #