Enum PropLevel

Source

pub enum PropLevel {
    None,
    Gac,
    SacBounds,
    Sac,
    SsacBounds,
    Ssac,
}

Expand description

Propagation strength, matching minion’s PropagationType.

Applied either once at preprocess time (via RunOptions::preprocess) or at every search node (via RunOptions::prop_node). Strengthens from None (no propagation — only valid for preprocess, not prop_node) through GAC (generalised arc consistency, the default per-node level) up to SSAC (singleton-SAC).

Variants§

§

PropLevel

Enum PropLevel Copy item path

Variants§

None

Gac

SacBounds

Sac

SsacBounds

Ssac

Trait Implementations§

impl Clone for PropLevel

fn clone(&self) -> PropLevel

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

impl Copy for PropLevel

impl Debug for PropLevel

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

impl Default for PropLevel

fn default() -> PropLevel

impl Eq for PropLevel

impl PartialEq for PropLevel

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

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

impl StructuralPartialEq for PropLevel

Auto Trait Implementations§

impl Freeze for PropLevel

impl RefUnwindSafe for PropLevel

impl Send for PropLevel

impl Sync for PropLevel

impl Unpin for PropLevel

impl UnsafeUnpin for PropLevel

impl UnwindSafe for PropLevel

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, !>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout§

Enum PropLevel

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,