pub trait TerminationCondition {
// Required method
fn should_stop(&mut self) -> bool;
}Expand description
The central trait that defines a termination condition. A termination condition determines when the solver should give up searching for solutions.
§Notes
- Any
Box<dyn TerminationCondition>is a valid implementation ofTerminationCondition.
Required Methods§
Sourcefn should_stop(&mut self) -> bool
fn should_stop(&mut self) -> bool
Returns true when the solver should stop, false otherwise.
Trait Implementations§
Source§impl TerminationCondition for Box<dyn TerminationCondition>
impl TerminationCondition for Box<dyn TerminationCondition>
Source§fn should_stop(&mut self) -> bool
fn should_stop(&mut self) -> bool
Returns
true when the solver should stop, false otherwise.