Enum PropagationStrategy 

pub enum PropagationStrategy {
    Auto,
    Ac3,
    Sweep,
}

Propagation strategy for propagate_with().

Variants

Auto

Auto-select: AC-3 if finalize() was called, sweep otherwise.

Ac3

AC-3 worklist with adjacency graph. Requires finalize().

Sweep

Fixed-point sweep over all constraints. No adjacency needed.

Trait Implementations

impl Clone for PropagationStrategy

fn clone(&self) -> PropagationStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropagationStrategy

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

Formats the value using the given formatter.

impl PartialEq for PropagationStrategy

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

impl Eq for PropagationStrategy

impl StructuralPartialEq for PropagationStrategy