Struct SolveJob 

pub struct SolveJob { /* private fields */ }

A resumable solve.

Implementations

impl SolveJob

pub fn new(problem: Problem, opts: SolveOptions) -> Self

Prepare a job. Values of problem.vars are the starting point and the “stay near” reference.

pub fn cancel(&mut self)

Request cancellation. The next SolveJob::step returns Finished.

pub fn is_finished(&self) -> bool

Whether all work is done.

pub fn peek_status(&self) -> Status

Aggregate status of the components finished so far (meaningful once SolveJob::is_finished is true).

pub fn step(&mut self, budget: u32) -> Progress

Run at most budget work units.

pub fn into_solution(self) -> Solution

Finish the job (running remaining work unless cancelled) and return the result.

Trait Implementations

impl Debug for SolveJob

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

Formats the value using the given formatter.