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

Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.SAT.PBO.Context

Documentation

class Context a where Source

Methods

getObjectiveFunction :: a -> PBLinSum 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

Instances

getBestValue :: Context a => a -> STM (Maybe Integer) Source

getBestModel :: Context a => a -> STM (Maybe Model) Source

isOptimum :: Context a => a -> STM Bool Source

isFinished :: Context a => a -> STM Bool Source

getSearchUpperBound :: Context a => a -> STM Integer Source

setFinished :: Context a => a -> IO () Source

data SimpleContext Source

Instances

newSimpleContext :: PBLinSum -> IO SimpleContext Source

setOnUpdateBestSolution :: SimpleContext -> (Model -> Integer -> IO ()) -> IO () Source

setOnUpdateLowerBound :: SimpleContext -> (Integer -> IO ()) -> IO () Source

setLogger :: SimpleContext -> (String -> IO ()) -> IO () Source

data Normalized a Source

Instances

normalize :: Context a => a -> Normalized a Source