Struct InitializedPathBuilder 

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

Builder for creating a validated Path of a GeneralThresholdAutomaton that has been initialized with a threshold automaton and a parameter assignment.

This type should always be derived from a PathBuilder.

Fields

ta: GeneralThresholdAutomaton

Threshold automaton this path belongs to

n_processes: u32

Number of processes in the path, will be initialized with the first configuration

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 InitializedPathBuilder

pub fn add_configuration( self, config: Configuration, ) -> Result<Self, PathBuilderError>

Add a configuration to the path

pub fn add_configurations( self, configs: impl IntoIterator<Item = Configuration>, ) -> Result<Self, PathBuilderError>

Add multiple configurations to the path

pub fn add_transition( self, transition: Transition, ) -> Result<Self, PathBuilderError>

Add a transition to the path

pub fn add_transitions( self, transitions: impl IntoIterator<Item = Transition>, ) -> Result<Self, PathBuilderError>

Add multiple transitions to the path

pub fn last_configuration(&self) -> Option<&Configuration>

Returns the last configuration that was added to the path builder

fn validate_configuration( &mut self, config: &Configuration, ) -> Result<(), PathBuilderError>

Initial validation function of an inserted configuration

fn validate_initial_configuration( &self, config: &Configuration, ) -> Result<(), PathBuilderError>

Validate the initial configuration of the path

pub fn build(self) -> Result<Path, PathBuilderError>

Validate the transition and rule sequence and build the path

fn shorten_path(&mut self)

This function shortens an error path by combining successive applications of the same rule

It does not reorder rules

fn validate_path(&self) -> Result<(), PathBuilderError>

Validate the path and check that it is consistent

Trait Implementations

impl Clone for InitializedPathBuilder

fn clone(&self) -> InitializedPathBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InitializedPathBuilder

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

Formats the value using the given formatter.

impl PartialEq for InitializedPathBuilder

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