Trait Prepared 

pub trait Prepared: Send + Sync {
    // Required methods
    fn tasks(&self) -> usize;
    fn solve(&self, task: usize, remaining_seconds: f64) -> Result<TaskResult>;
    fn cancel(&self);
}

Required Methods

fn tasks(&self) -> usize

fn solve(&self, task: usize, remaining_seconds: f64) -> Result<TaskResult>

fn cancel(&self)

A cooperative stop. Implementations without solver tokens may finish their active task; the runner enforces the process deadline.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors