Clingo.Solving

Documentation

data ResultReady

Constructors

Ready

NotReady

Instances

Eq ResultReady

Methods

(==) :: ResultReady -> ResultReady -> Bool

(/=) :: ResultReady -> ResultReady -> Bool

Ord ResultReady

Methods

compare :: ResultReady -> ResultReady -> Ordering

(<) :: ResultReady -> ResultReady -> Bool

(<=) :: ResultReady -> ResultReady -> Bool

(>) :: ResultReady -> ResultReady -> Bool

(>=) :: ResultReady -> ResultReady -> Bool

max :: ResultReady -> ResultReady -> ResultReady

min :: ResultReady -> ResultReady -> ResultReady

Read ResultReady

Methods

readsPrec :: Int -> ReadS ResultReady

readList :: ReadS [ResultReady]

readPrec :: ReadPrec ResultReady

readListPrec :: ReadPrec [ResultReady]

Show ResultReady

Methods

showsPrec :: Int -> ResultReady -> ShowS

show :: ResultReady -> String

showList :: [ResultReady] -> ShowS

class MonadModel m => MonadSolve m where

Minimal complete definition

getResult, getModel, solverWait, solverResume, solverCancel

Methods

getResult :: Solver s -> m s SolveResult

Get the next solve result.

getModel :: Solver s -> m s (Maybe (Model s))

Get the next model if it exists.

solverWait :: Solver s -> Double -> m s ResultReady

Wait for the specified time to check if the result is ready.

solverResume :: Solver s -> m s ()

Discard the last model and start search for the next.

solverCancel :: Solver s -> m s ()

Stop the running search and block until done.

Instances

MonadSolve Clingo

Methods

getResult :: Solver s -> Clingo s SolveResult

getModel :: Solver s -> Clingo s (Maybe (Model s))

solverWait :: Solver s -> Double -> Clingo s ResultReady

solverResume :: Solver s -> Clingo s ()

solverCancel :: Solver s -> Clingo s ()

MonadSolve IOSym

Methods

getResult :: Solver s -> IOSym s SolveResult

getModel :: Solver s -> IOSym s (Maybe (Model s))

solverWait :: Solver s -> Double -> IOSym s ResultReady

solverResume :: Solver s -> IOSym s ()

solverCancel :: Solver s -> IOSym s ()

solverClose :: Solver s -> Clingo s ()

Stops the running search and releases the handle. Blocks until search is stopped.

allModels :: (Monad (m s), MonadSolve m) => Solver s -> m s [Model s]

Convenience method to get all models. Note that this is dependent on the solver configuration!