Enum BrancherEvent 

pub enum BrancherEvent {
    Conflict,
    Backtrack,
    Solution,
    UnassignInteger,
    AppearanceInConflictPredicate,
    Restart,
    Synchronise,
}

The events which can occur for a Brancher. Used for returning which events are relevant in Brancher::subscribe_to_events, [VariableSelector::subscribe_to_events], and [ValueSelector::subscribe_to_events].

Variants

Conflict

Event for when a conflict is detected

Backtrack

Event for when a backtrack is performed

Solution

Event for when a solution has been found

UnassignInteger

Event for when an integer variable has become unassigned

AppearanceInConflictPredicate

Event for when a predicate appears during conflict analysis

Restart

Event for when a restart occurs

Synchronise

Event which is called with the new state after a backtrack has occurred

Trait Implementations

impl Clone for BrancherEvent

fn clone(&self) -> BrancherEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BrancherEvent

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

Formats the value using the given formatter.

impl Enum for BrancherEvent

const LENGTH: usize = 7usize

Length of the enum.

fn from_usize(value: usize) -> BrancherEvent

Takes an usize, and returns an element matching into_usize function.

fn into_usize(self) -> usize

Returns an unique identifier for a value within range of 0..Array::LENGTH.

impl<V> EnumArray<V> for BrancherEvent

type Array = [V; 7]

Representation of an enum map for type V.

impl Hash for BrancherEvent

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for BrancherEvent

fn eq(&self, other: &BrancherEvent) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for BrancherEvent

impl Eq for BrancherEvent

impl StructuralPartialEq for BrancherEvent