ToySolver.Arith.Simplex2

The Solver type

type Solver

data GenericSolver v

class SolverValue v

newSolver

cloneSolver

Problem specification

type Var

newVar

data RelOp

(.<=.)

(.>=.)

(.==.)

(.<.)

(.>.)

type Atom r

assertAtom

assertAtomEx

assertLower

assertUpper

setObj

getObj

data OptDir

setOptDir

getOptDir

Solving

check

pushBacktrackPoint

popBacktrackPoint

data Options

defaultOptions

data OptResult

optimize

dualSimplex

Extract results

type Model

type RawModel v

getRawModel

getValue

getObjValue

Reading status

getTableau

getRow

getCol

getCoeff

nVars

isBasicVariable

isNonBasicVariable

isFeasible

isOptimal

getLB

getUB

Configulation

setLogger

clearLogger

data PivotStrategy

setPivotStrategy

Debug

dump