ToySolver.Data.MIP.Solution.GLPK

Documentation

data Solution r

Constructors

Solution

Fields

• solStatus :: Status
• solObjectiveValue :: Maybe r
• solVariables :: Map Var r

Instances

Functor Solution

Defined in ToySolver.Data.MIP.Base

Methods

fmap :: (a -> b) -> Solution a -> Solution b

(<$) :: a -> Solution b -> Solution a

Eq r => Eq (Solution r)

Defined in ToySolver.Data.MIP.Base

Methods

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

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

Ord r => Ord (Solution r)

Defined in ToySolver.Data.MIP.Base

Methods

compare :: Solution r -> Solution r -> Ordering

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

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

(>) :: Solution r -> Solution r -> Bool

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

max :: Solution r -> Solution r -> Solution r

min :: Solution r -> Solution r -> Solution r

Show r => Show (Solution r)

Defined in ToySolver.Data.MIP.Base

Methods

showsPrec :: Int -> Solution r -> ShowS

show :: Solution r -> String

showList :: [Solution r] -> ShowS

Default (Solution r)

Defined in ToySolver.Data.MIP.Base

Methods

def :: Solution r

parse :: Text -> Solution Scientific

readFile :: FilePath -> IO (Solution Scientific)