Enum ConflictResolver 

pub enum ConflictResolver {
    NoLearning,
    UIP,
}

During search, the CP solver will inevitably evaluate partial assignments that violate at least one constraint. When this happens, conflict resolution is applied to restore the solver to a state from which it can continue the search.

The manner in which conflict resolution is done greatly impacts the performance of the solver.

Variants

NoLearning

UIP

Trait Implementations

impl Clone for ConflictResolver

fn clone(&self) -> ConflictResolver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConflictResolver

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

Formats the value using the given formatter.

impl Default for ConflictResolver

fn default() -> ConflictResolver

Returns the “default value” for a type.

impl Hash for ConflictResolver

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 ConflictResolver

fn eq(&self, other: &ConflictResolver) -> 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 ValueEnum for ConflictResolver

fn value_variants<'a>() -> &'a [ConflictResolver]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for ConflictResolver

impl Eq for ConflictResolver

impl StructuralPartialEq for ConflictResolver