Struct GenericSolveHandle 

pub struct GenericSolveHandle<C: ControlCtx, E: SolveEventHandler> { /* private fields */ }

Search handle to a solve call.

Implementations

impl<C: ControlCtx, E: SolveEventHandler> GenericSolveHandle<C, E>

pub fn get(&mut self) -> Result<SolveResult, ClingoError>

Get the next solve result.

Blocks until the result is ready. When yielding partial solve results can be obtained, i.e., when a model is ready, the result will be satisfiable but neither the search exhausted nor the optimality proven.

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if solving fails

pub fn wait(&mut self, timeout: Duration) -> bool

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

If the time is set to zero, this function can be used to poll if the search is still active. If the time is negative, the function blocks until the search is finished.

Arguments

• timeout - the maximum time to wait

pub fn model(&mut self) -> Result<Option<&Model>, ClingoError>

Get the next model or None if there are no more models.

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if solving fails

pub fn model_mut(&mut self) -> Result<Option<&mut Model>, ClingoError>

Get the next model or None if there are no more models.

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if solving fails

pub fn core(&mut self) -> Result<Vec<SolverLiteral>, ClingoError>

When a problem is unsatisfiable, get a subset of the assumptions that made the problem unsatisfiable.

If the program is not unsatisfiable, an empty vector is returned.

Returns the unsatisfiable core

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc

pub fn resume(&mut self) -> Result<(), ClingoError>

Discards the last model and starts the search for the next one.

If the search has been started asynchronously, this function continues the search in the background.

Note: This function does not block.

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if solving fails

pub fn cancel(&mut self) -> Result<(), ClingoError>

Stop the running search and block until done.

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if solving fails

pub fn close(self) -> Result<GenericControl<C>, ClingoError>

Stops the running search and releases the handle.

Blocks until the search is stopped (as if an implicit cancel was called before the handle is released).

Errors

• ClingoError::InternalError with ErrorCode::BadAlloc or ErrorCode::Runtime if solving fails

Trait Implementations

impl<C: Debug + ControlCtx, E: Debug + SolveEventHandler> Debug for GenericSolveHandle<C, E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.