Enum SolveEvent 

pub enum SolveEvent<'a> {
    Model(&'a mut Model),
    Unsat,
    Statistics {
        step: &'a mut Statistics,
        akku: &'a mut Statistics,
    },
    Finish(&'a mut SolveResult),
}

Enumeration of solve events.

Variants

Model(&'a mut Model)

Issued if a model is found.

Unsat

Issued if an optimization problem is found unsatisfiable.

Statistics

Issued when the statistics can be updated.

Fields

step: &'a mut Statistics

akku: &'a mut Statistics

Finish(&'a mut SolveResult)

Issued if the search has completed.

Trait Implementations

impl<'a> Debug for SolveEvent<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.