Struct SteadyPath 

pub struct SteadyPath {
    transitions: Vec<SymbolicTransition>,
    reachable_states: ZCSStates,
    variable_assignment: SymbolicVariableAssignment,
}

Type that represents a steady path

A steady path describes a path fragment in which the context (variable) doesn’t change where reachable_state describes the set of symbolic states that can be reached within this path fragment and transitions describes the set of transitions that can be applied.

Fields

transitions: Vec<SymbolicTransition>

reachable_states: ZCSStates

variable_assignment: SymbolicVariableAssignment

Implementations

impl SteadyPath

pub fn new( transitions: Vec<&SymbolicTransition>, reachable_states: ZCSStates, variable_assignment: SymbolicVariableAssignment, ) -> Self

creates a new steady path for a given set of transitions, set of reachable states and a variable assignment

pub fn length_transitions(&self) -> u32

returns the length of the transitions inside the steady path

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

returns an iterator over the transitions

pub fn variable_assignment(&self) -> &VariableAssignment

returns the concrete variable assignment of the steady path

pub fn _reachable_states(&self) -> &ZCSStates

returns the reachable states of the steady path

Trait Implementations

impl Clone for SteadyPath

fn clone(&self) -> SteadyPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SteadyPath

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

Formats the value using the given formatter.