ToySolver.Arith.Simplex

The Solver type

type Solver

type GenericSolver v

data GenericSolverM m v

class SolverValue v

newSolver

cloneSolver

Problem specification

type Var

newVar

data RelOp

(.<.)

(.<=.)

(.>.)

(.>=.)

(.<.)

(.<=.)

(.>.)

(.>=.)

(.==.)

(.<.)

(.<=.)

(.>.)

(.>=.)

(.<.)

(.<=.)

(.>.)

(.>=.)

type Atom r

type ConstrID

type ConstrIDSet

assertAtom

assertAtom'

assertAtomEx

assertAtomEx'

assertLower

assertLower'

assertUpper

assertUpper'

setObj

getObj

data OptDir

setOptDir

getOptDir

Solving

check

pushBacktrackPoint

popBacktrackPoint

data Options

data OptResult

optimize

dualSimplex

Extract results

type Model

getModel

type RawModel v

getRawModel

getValue

getObjValue

explain

Reading status

getTableau

getRow

getCol

getCoeff

nVars

isBasicVariable

isNonBasicVariable

isFeasible

isOptimal

getLB

getUB

type Bound v

boundValue

boundExplanation

Configulation

setLogger

clearLogger

enableTimeRecording

disableTimeRecording

data PivotStrategy

setPivotStrategy

Debug

dump

Misc

simplifyAtom