ToySolver.Arith.Simplex

Contents

• The Tableau type
• Optimization direction
• Reading status
• High-level solving functions
• For debugging

Description

Synopsis

• type Tableau r = VarMap (Row r)
• type RowIndex = Int
• type ColIndex = Int
• type Row r = (VarMap r, r)
• emptyTableau :: Tableau r
• objRowIndex :: RowIndex
• pivot :: (Fractional r, Eq r) => RowIndex -> ColIndex -> Tableau r -> Tableau r
• lookupRow :: RowIndex -> Tableau r -> Row r
• addRow :: (Num r, Eq r) => Tableau r -> RowIndex -> Row r -> Tableau r
• setObjFun :: (Num r, Eq r) => Tableau r -> Expr r -> Tableau r
• module Data.OptDir
• currentValue :: Num r => Tableau r -> Var -> r
• currentObjValue :: Num r => Tableau r -> r
• isFeasible :: Real r => Tableau r -> Bool
• isOptimal :: Real r => OptDir -> Tableau r -> Bool
• simplex :: (Real r, Fractional r) => OptDir -> Tableau r -> (Bool, Tableau r)
• dualSimplex :: (Real r, Fractional r) => OptDir -> Tableau r -> (Bool, Tableau r)
• phaseI :: (Real r, Fractional r) => Tableau r -> VarSet -> (Bool, Tableau r)
• primalDualSimplex :: (Real r, Fractional r) => OptDir -> Tableau r -> (Bool, Tableau r)
• isValidTableau :: Tableau r -> Bool
• toCSV :: (Num r, Eq r, Show r) => (r -> String) -> Tableau r -> String

The Tableau type

Optimization direction

Reading status

High-level solving functions

For debugging