toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

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

ToySolver.Converter.MIP2PB

Description

Documentation

mip2pb :: Problem Rational -> Either String (Formula, MIP2PBInfo) Source #

data MIP2PBInfo Source #

Constructors

MIP2PBInfo (Map Var Expr) !Integer

Instances

Eq MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods (==) :: MIP2PBInfo -> MIP2PBInfo -> Bool # (/=) :: MIP2PBInfo -> MIP2PBInfo -> Bool #
Show MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods showsPrec :: Int -> MIP2PBInfo -> ShowS # show :: MIP2PBInfo -> String # showList :: [MIP2PBInfo] -> ShowS #
ObjValueBackwardTransformer MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods transformObjValueBackward :: MIP2PBInfo -> TargetObjValue MIP2PBInfo -> SourceObjValue MIP2PBInfo Source #
ObjValueForwardTransformer MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods transformObjValueForward :: MIP2PBInfo -> SourceObjValue MIP2PBInfo -> TargetObjValue MIP2PBInfo Source #
ObjValueTransformer MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Associated Types type SourceObjValue MIP2PBInfo :: Type Source # type TargetObjValue MIP2PBInfo :: Type Source #
BackwardTransformer MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Methods transformBackward :: MIP2PBInfo -> Target MIP2PBInfo -> Source MIP2PBInfo Source #
Transformer MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB Associated Types type Source MIP2PBInfo :: Type Source # type Target MIP2PBInfo :: Type Source #
type SourceObjValue MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB type SourceObjValue MIP2PBInfo = Rational
type TargetObjValue MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB type TargetObjValue MIP2PBInfo = Integer
type Source MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB type Source MIP2PBInfo = Map Var Integer
type Target MIP2PBInfo Source #
Instance details Defined in ToySolver.Converter.MIP2PB type Target MIP2PBInfo = Model

addMIP :: AddPBNL m enc => enc -> Problem Rational -> m (Either String (Expr, MIP2PBInfo)) Source #