ToySolver.Data.MIP.Base

The MIP Problem type

data Problem c

type Label

Variables

type Var

toVar

fromVar

Variable types

data VarType

getVarType

Variable bounds

type BoundExpr c

data Extended r

type Bounds c

defaultBounds

defaultLB

defaultUB

getBounds

Variable getters

variables

integerVariables

semiContinuousVariables

semiIntegerVariables

Expressions

data Expr c

varExpr

constExpr

terms

data Term c

Objective function

data OptDir

data ObjectiveFunction c

Constraints

Linear (or Quadratic or Polynomial) constraints

data Constraint c

(.==.)

(.<=.)

(.>=.)

data RelOp

SOS constraints

data SOSType

data SOSConstraint c

Solutions

data Solution r

data Status

File I/O options

data FileOptions

Utilities

class Variables a

intersectBounds