Struct Propagation 

pub struct Propagation {
    pub level: PropLevel,
    pub limit: bool,
}

A propagation level together with minion’s _limit modifier.

limit=true maps to the *_limit spellings in exec mode (SAC_limit, SSACBounds_limit, etc.), which cap the amount of work the propagator will do before giving up and falling back to the next-weaker level.

Fields

level: PropLevel

limit: bool

Implementations

impl Propagation

pub fn is_default_preprocess(self) -> bool

pub fn is_default_prop_node(self) -> bool

Trait Implementations

impl Clone for Propagation

fn clone(&self) -> Propagation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Propagation

impl Debug for Propagation

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

Formats the value using the given formatter.

impl Default for Propagation

fn default() -> Propagation

Returns the “default value” for a type.

impl Eq for Propagation

impl PartialEq for Propagation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Propagation

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 2 bytes