Enum clingo::SolveEventType

pub enum SolveEventType {
    Model,
    Finish,
}

Enumeration of solve events.

Variants

Model

Issued if a model is found.

Finish

Issued if the search has completed.

Trait Implementations

impl Debug for SolveEventType

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for SolveEventType

impl Clone for SolveEventType

fn clone(&self) -> SolveEventType

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl PartialEq for SolveEventType

fn eq(&self, __arg_0: &SolveEventType) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.