Termination

Trait Termination 

Source
pub trait Termination<S: PlanningSolution>: Send + Debug {
    // Required method
    fn is_terminated(&self, solver_scope: &SolverScope<S>) -> bool;
}
Expand description

Trait for determining when to stop solving.

Required Methods§

Source

fn is_terminated(&self, solver_scope: &SolverScope<S>) -> bool

Returns true if solving should terminate.

Implementors§