ToySolver.Arith.Simplex.Textbook.LPSolver.Simple

High-Level API for LPSolver.hs

Documentation

data OptResult r

results of optimization

Constructors

OptUnsat

Unbounded

Optimum r (Model r)

Instances

Eq r => Eq (OptResult r)

Methods

(==) :: OptResult r -> OptResult r -> Bool

(/=) :: OptResult r -> OptResult r -> Bool

Ord r => Ord (OptResult r)

Methods

compare :: OptResult r -> OptResult r -> Ordering

(<) :: OptResult r -> OptResult r -> Bool

(<=) :: OptResult r -> OptResult r -> Bool

(>) :: OptResult r -> OptResult r -> Bool

(>=) :: OptResult r -> OptResult r -> Bool

max :: OptResult r -> OptResult r -> OptResult r

min :: OptResult r -> OptResult r -> OptResult r

Show r => Show (OptResult r)

Methods

showsPrec :: Int -> OptResult r -> ShowS

show :: OptResult r -> String

showList :: [OptResult r] -> ShowS

minimize :: RealFrac r => Expr r -> [Atom r] -> OptResult r

maximize :: RealFrac r => Expr r -> [Atom r] -> OptResult r

optimize :: RealFrac r => OptDir -> Expr r -> [Atom r] -> OptResult r

solve :: RealFrac r => [Atom r] -> Maybe (Model r)