Struct Blocked 

pub struct Blocked {
    pub action: String,
    pub satisfied: usize,
    pub total: usize,
    pub conjunct: String,
    pub about_next_state: bool,
    pub error: Option<String>,
}

How close one action came to permitting the step.

Fields

action: String

The action as it was reached, with arguments at the values they took: Timeout(s = "s1").

satisfied: usize

How many of the action’s conjuncts hold. Counted over all of them, not just up to the first failure: an action wanting one guard it does not have is much closer to firing than one whose every clause is wrong, and stopping early cannot tell them apart.

total: usize

conjunct: String

The first conjunct that does not hold.

about_next_state: bool

Whether that conjunct constrains the successor state. False means the action was not available; true means it was, but produces a different next state than the one taken.

error: Option<String>

Set when the conjunct could not be evaluated rather than evaluating to FALSE — a guard that would have protected it has already failed.

Trait Implementations

impl Clone for Blocked

fn clone(&self) -> Blocked

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Blocked

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

Formats the value using the given formatter.

impl Eq for Blocked

impl PartialEq for Blocked

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Blocked