Enum VarSelectionStrategy 

pub enum VarSelectionStrategy {
    MaxDegree,
    MaxLeadingDegree,
    FirstVariable,
}

Strategy for selecting main variable.

Variants

MaxDegree

Choose variable with maximum total degree.

MaxLeadingDegree

Choose variable with maximum degree in leading term.

FirstVariable

Choose first variable in order.

Trait Implementations

impl Clone for VarSelectionStrategy

fn clone(&self) -> VarSelectionStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VarSelectionStrategy

impl Debug for VarSelectionStrategy

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

Formats the value using the given formatter.

impl Eq for VarSelectionStrategy

impl PartialEq for VarSelectionStrategy

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VarSelectionStrategy