Copyright	(c) Masahiro Sakai 2025
License	BSD-style
Maintainer	[email protected]
Stability	provisional
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	Cpp MonoLocalBinds ScopedTypeVariables TypeFamilies OverloadedStrings FlexibleContexts KindSignatures TypeOperators ExplicitNamespaces ExplicitForAll

Numeric.Optimization.MIP.Solution.HiGHS

Description

Synopsis

Documentation

Type for representing a solution of MIP problem.

Constructors

Solution
Fields solStatus :: Status status solObjectiveValue :: Maybe r value of the objective function solVariables :: Map Var r variable assignments

Instances details

Functor Solution Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods fmap :: (a -> b) -> Solution a -> Solution b # (<$) :: a -> Solution b -> Solution a #
Show r => Show (Solution r) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods showsPrec :: Int -> Solution r -> ShowS # show :: Solution r -> String # showList :: [Solution r] -> ShowS #
Default (Solution r) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods def :: Solution r #
Eq r => Eq (Solution r) Source #
Instance details Defined in Numeric.Optimization.MIP.Base Methods (==) :: Solution r -> Solution r -> Bool # (/=) :: Solution r -> Solution r -> Bool #
Ord r => Ord (Solution r) Source #
Instance details Defined in Numeric.Optimization.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 #