Enum Guard

pub enum Guard {
    True,
    False,
    Predicate {
        flag: Variable,
        expected: bool,
    },
}

Branch condition

Variants

True

Guard is constant true

False

Guard is constant false

Predicate

Guard depends on a one bit RREIL value.

Fields

flag: Variable

Flag value. Must be 0 or 1.

expected: bool

Expected value of flag. If flag is 1 and expected is true or if flag is 1 and expected is true the guard is true. Otherwise its false.

Trait Implementations

impl Clone for Guard

fn clone(&self) -> Guard

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Guard

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

Formats the value using the given formatter.

impl PartialEq for Guard

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Guard

impl StructuralPartialEq for Guard