ToySolver.Arith.Simplex2

Contents

• The Solver type
• Problem specification
• Solving
• Extract results
• Reading status
• Configulation
• Debug

Description

Synopsis

• type Solver = GenericSolver Rational
• data GenericSolver v
• class (VectorSpace v, Scalar v ~ Rational, Ord v) => SolverValue v where
  • toValue :: Rational -> v
  • showValue :: Bool -> v -> String
  • getModel :: GenericSolver v -> IO Model
• newSolver :: SolverValue v => IO (GenericSolver v)
• cloneSolver :: GenericSolver v -> IO (GenericSolver v)
• type Var = Int
• newVar :: SolverValue v => GenericSolver v -> IO Var
• data RelOp
  • = Lt
  • | Le
  • | Ge
  • | Gt
  • | Eql
  • | NEq
• (.<=.) :: IsArithRel e r => e -> e -> r
• (.>=.) :: IsArithRel e r => e -> e -> r
• (.==.) :: IsArithRel e r => e -> e -> r
• (.<.) :: IsArithRel e r => e -> e -> r
• (.>.) :: IsArithRel e r => e -> e -> r
• type Atom r = ArithRel (Expr r)
• assertAtom :: Solver -> Atom Rational -> IO ()
• assertAtomEx :: GenericSolver (Delta Rational) -> Atom Rational -> IO ()
• assertLower :: SolverValue v => GenericSolver v -> Var -> v -> IO ()
• assertUpper :: SolverValue v => GenericSolver v -> Var -> v -> IO ()
• setObj :: SolverValue v => GenericSolver v -> Expr Rational -> IO ()
• getObj :: SolverValue v => GenericSolver v -> IO (Expr Rational)
• data OptDir :: *
  • = OptMin
  • | OptMax
• setOptDir :: GenericSolver v -> OptDir -> IO ()
• getOptDir :: GenericSolver v -> IO OptDir
• check :: SolverValue v => GenericSolver v -> IO Bool
• pushBacktrackPoint :: GenericSolver v -> IO ()
• popBacktrackPoint :: GenericSolver v -> IO ()
• data Options = Options {
  • objLimit :: Maybe Rational
  }
• defaultOptions :: Options
• data OptResult
  • = Optimum
  • | Unsat
  • | Unbounded
  • | ObjLimit
• optimize :: Solver -> Options -> IO OptResult
• dualSimplex :: Solver -> Options -> IO OptResult
• type Model = IntMap Rational
• type RawModel v = IntMap v
• getRawModel :: GenericSolver v -> IO (RawModel v)
• getValue :: GenericSolver v -> Var -> IO v
• getObjValue :: GenericSolver v -> IO v
• getTableau :: GenericSolver v -> IO (IntMap (Expr Rational))
• getRow :: GenericSolver v -> Var -> IO (Expr Rational)
• getCol :: SolverValue v => GenericSolver v -> Var -> IO (IntMap Rational)
• getCoeff :: GenericSolver v -> Var -> Var -> IO Rational
• nVars :: GenericSolver v -> IO Int
• isBasicVariable :: GenericSolver v -> Var -> IO Bool
• isNonBasicVariable :: GenericSolver v -> Var -> IO Bool
• isFeasible :: SolverValue v => GenericSolver v -> IO Bool
• isOptimal :: SolverValue v => GenericSolver v -> IO Bool
• getLB :: GenericSolver v -> Var -> IO (Maybe v)
• getUB :: GenericSolver v -> Var -> IO (Maybe v)
• setLogger :: GenericSolver v -> (String -> IO ()) -> IO ()
• clearLogger :: GenericSolver v -> IO ()
• data PivotStrategy
  • = PivotStrategyBlandRule
  • | PivotStrategyLargestCoefficient
• setPivotStrategy :: GenericSolver v -> PivotStrategy -> IO ()
• dump :: SolverValue v => GenericSolver v -> IO ()

The Solver type

Problem specification

Solving

Extract results

Reading status

Configulation

Debug