Enum HeuristicType 

pub enum HeuristicType {
    Level = 0,
    Sign = 1,
    Factor = 2,
    Init = 3,
    True = 4,
    False = 5,
}

Enumeration of different heuristic modifiers.

Variants

Level = 0

Set the level of an atom

Sign = 1

Configure which sign to chose for an atom

Factor = 2

Modify VSIDS factor of an atom

Init = 3

Modify the initial VSIDS score of an atom

True = 4

Set the level of an atom and choose a positive sign

False = 5

Set the level of an atom and choose a negative sign

Trait Implementations

impl Clone for HeuristicType

fn clone(&self) -> HeuristicType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HeuristicType

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

Formats the value using the given formatter.

impl Copy for HeuristicType