Trait Terminator

pub trait Terminator {
    // Required method
    fn terminated(&self) -> bool;
}

Connected terminators are checked for termination regularly. If the ‘terminate’ function of the terminator returns true the solver is terminated synchronously as soon it calls this function.

Required Methods

fn terminated(&self) -> bool

Implementors