Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Context a where Source #
getObjectiveFunction, isUnsat, getBestSolution, getLowerBound, setUnsat, addSolution, addLowerBound, logMessage
getObjectiveFunction :: a -> PBLinSum Source #
evalObjectiveFunction :: a -> Model -> Integer Source #
isUnsat :: a -> STM Bool Source #
getBestSolution :: a -> STM (Maybe (Model, Integer)) Source #
getLowerBound :: a -> STM Integer Source #
setUnsat :: a -> IO () Source #
addSolution :: a -> Model -> IO () Source #
addLowerBound :: a -> Integer -> IO () Source #
logMessage :: a -> String -> IO () Source #
Context SimpleContext Source # | |
Context a => Context (Normalized a) Source # | |
setFinished :: Context a => a -> IO () Source #
newSimpleContext2 :: PBLinSum -> (Model -> Integer) -> IO SimpleContext Source #
setOnUpdateBestSolution :: SimpleContext -> (Model -> Integer -> IO ()) -> IO () Source #
setOnUpdateLowerBound :: SimpleContext -> (Integer -> IO ()) -> IO () Source #
data Normalized a Source #
Context a => Context (Normalized a) Source # | |
normalize :: Context a => a -> Normalized a Source #