toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Safe Haskell	None
Language	Haskell2010

ToySolver.Data.MIP.Solution.SCIP

Documentation

data Solution r Source #

Constructors

Solution
Fields solStatus :: Status solObjectiveValue :: Maybe r solVariables :: Map Var r

Instances

Functor Solution Source #
Methods fmap :: (a -> b) -> Solution a -> Solution b # (<$) :: a -> Solution b -> Solution a #
Eq r => Eq (Solution r) Source #
Methods (==) :: Solution r -> Solution r -> Bool # (/=) :: Solution r -> Solution r -> Bool #
Ord r => Ord (Solution r) Source #
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) Source #
Methods showsPrec :: Int -> Solution r -> ShowS # show :: Solution r -> String # showList :: [Solution r] -> ShowS #
Default (Solution r) Source #
Methods def :: Solution r #

parse :: Text -> Solution Scientific Source #

readFile :: FilePath -> IO (Solution Scientific) Source #