Enum clingo::HeuristicType
[−]
[src]
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
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Copy for HeuristicType
[src]
impl Clone for HeuristicType
[src]
fn clone(&self) -> HeuristicType
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more