toysolver-0.7.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2016
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • TypeFamilies
  • ConstrainedClassMethods
  • MultiParamTypeClasses
  • KindSignatures
  • ExplicitNamespaces

ToySolver.Converter.MIP2PB

Description

 

Documentation

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

data MIP2PBInfo Source #

Constructors

MIP2PBInfo (Map Var Expr) !Integer 

Instances

Instances details
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 Source #

type TargetObjValue MIP2PBInfo 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 Source #

type Target MIP2PBInfo 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 #