Struct Path 

pub struct Path {
    ta: GeneralThresholdAutomaton,
    parameter_assignment: HashMap<Parameter, u32>,
    configurations: Vec<Configuration>,
    transitions: Vec<Transition>,
}

Concrete path in a GeneralThresholdAutomaton

This struct represents a concrete path in a GeneralThresholdAutomaton, which consists of a sequence of configurations and transitions between them.

Fields

ta: GeneralThresholdAutomaton

The threshold automaton this path belongs to

parameter_assignment: HashMap<Parameter, u32>

Parameter assignment for the path

configurations: Vec<Configuration>

Configurations of the path

transitions: Vec<Transition>

Transitions of the path

Implementations

impl Path

pub fn get_parameter_value(&self, param: &Parameter) -> Option<u32>

Get the value of parameter param in the path

pub fn parameter_values(&self) -> impl Iterator<Item = (&Parameter, &u32)>

Returns an iterator over the parameters and their values in the path

pub fn configurations(&self) -> impl Iterator<Item = &Configuration>

Iterator over the configurations of the path

pub fn transitions(&self) -> impl Iterator<Item = &Transition>

Iterator over the transitions of the path

pub fn display_compact(&self) -> String

Get a string representation of the path

Trait Implementations

impl Clone for Path

fn clone(&self) -> Path

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Path

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

Formats the value using the given formatter.

impl Display for Path

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

Formats the value using the given formatter.

impl PartialEq for Path

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