Trait clingo::Logger

pub trait Logger {
    fn log(&mut self, code: Warning, message: &str);
}

Required Methods

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

Callback to intercept warning messages.

Arguments

• code - associated warning code
• message - warning message

See:

• Control::new_with_logger()
• parse_term_with_logger()
• parse_program_with_logger()

Implementors