Enum clingo::HeuristicType

pub enum HeuristicType {
    Level,
    Sign,
    Factor,
    Init,
    True,
    False,
}

Enumeration of different heuristic modifiers.

Variants

Level

Set the level of an atom

Sign

Configure which sign to chose for an atom

Factor

Modify VSIDS factor of an atom

Init

Modify the initial VSIDS score of an atom

True

Set the level of an atom and choose a positive sign

False

Set the level of an atom and choose a negative sign

Trait Implementations

impl Debug for HeuristicType

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for HeuristicType

impl Clone for HeuristicType

fn clone(&self) -> HeuristicType

Returns a copy of the value.

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

Performs copy-assignment from source.