Struct Transition 

pub struct Transition {
    rule_used: Rule,
    number_applied: u32,
}

Transition that applying a rule a certain number of times

This struct represents a transition in a threshold automaton that applies a rule a fixed number of times. It contains the rule that is applied and the number of times the rule is applied. In the literature such transitions are often called accelerated.

Fields

rule_used: Rule

Rule that is applied in this transition

number_applied: u32

Number of times the rule is applied

Implementations

impl Transition

pub fn new(rule_used: Rule, n: u32) -> Self

Creates a new transition

Creates a new transition that applies the given Rule n times.

pub fn rule(&self) -> &Rule

Get the rule of the transition

pub fn is_noop(&self) -> bool

Check whether the transition does not change the current configuration

Returns true if this transition does neither update the overall location state nor the variable state

Trait Implementations

impl Clone for Transition

fn clone(&self) -> Transition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Transition

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

Formats the value using the given formatter.

impl Display for Transition

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

Formats the value using the given formatter.

impl PartialEq for Transition

fn eq(&self, other: &Transition) -> 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 StructuralPartialEq for Transition