pub trait Logger {
// Provided method
fn log(&mut self, code: Warning, message: &str) { ... }
}
Expand description
An instance of this trait has to be registered with a solver to implement a custom logging.
pub trait Logger {
// Provided method
fn log(&mut self, code: Warning, message: &str) { ... }
}
An instance of this trait has to be registered with a solver to implement a custom logging.