Trait clingo::Logger

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.

Provided Methods

fn log(&mut self, code: Warning, message: &str)

Callback to intercept warning messages.

Arguments

• code - associated warning code
• message - warning message

See:

• ControlCtx::L
• parse_term_with_logger()

Implementors

impl Logger for Non