Enum VarOrder

Source

pub enum VarOrder {
    Static,
    Sdf,
    Srf,
    Ldf,
    Original,
    Wdeg,
    DomOverWdeg,
    Conflict,
}

Expand description

Variable-ordering heuristic (maps to Minion’s VarOrderEnum).

Static follows the variable declaration order and is state-free; the rest (Sdf, Srf, Ldf, Wdeg, DomOverWdeg, Conflict) depend on the current domain sizes / weight counters at each decision, so their solution order is sensitive to mid-search mutations. Original is a (non-state-dependent) alias minion uses internally.

Variants§

§

VarOrder

Enum VarOrder Copy item path

Variants§

Static

Sdf

Srf

Ldf

Original

Wdeg

DomOverWdeg

Conflict

Trait Implementations§

impl Clone for VarOrder

fn clone(&self) -> VarOrder

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

impl Copy for VarOrder

impl Debug for VarOrder

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

impl Default for VarOrder

fn default() -> VarOrder

impl Eq for VarOrder

impl PartialEq for VarOrder

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

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

impl StructuralPartialEq for VarOrder

Auto Trait Implementations§

impl Freeze for VarOrder

impl RefUnwindSafe for VarOrder

impl Send for VarOrder

impl Sync for VarOrder

impl Unpin for VarOrder

impl UnsafeUnpin for VarOrder

impl UnwindSafe for VarOrder

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 VarOrder

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>,