Enum GuardValue 

pub enum GuardValue {
    False,
    True,
    Error,
    Random,
}

The value of a guard (sub-)expression (LRM 18.5.12).

Variants

False

0: the sub-expression is false.

True

1: the sub-expression is true.

Error

E: the sub-expression causes an evaluation error.

Random

R: the sub-expression reads a random variable and cannot be evaluated yet.

Implementations

impl GuardValue

pub fn and(self, other: GuardValue) -> GuardValue

Conjunction, Figure 18-3 (left table): FALSE dominates, then ERROR, then RANDOM.

pub fn or(self, other: GuardValue) -> GuardValue

Disjunction, Figure 18-3 (middle table): TRUE dominates, then ERROR, then RANDOM.

pub fn not(self) -> GuardValue

Negation, Figure 18-3 (right table): swaps TRUE and FALSE, keeps ERROR and RANDOM.

Trait Implementations

impl Clone for GuardValue

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GuardValue

impl Debug for GuardValue

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

Formats the value using the given formatter.

impl Eq for GuardValue

impl PartialEq for GuardValue

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for GuardValue