Struct PathBuilder 

pub struct PathBuilder {
    ta: GeneralThresholdAutomaton,
    parameter_assignment: HashMap<Parameter, u32>,
}

Builder for creating a path of a GeneralThresholdAutomaton

This builder allows to create a path of a GeneralThresholdAutomaton by adding configurations and transitions between them. It then verifies that the configurations and transitions are a valid path in the threshold automaton.

First, this builder needs to be initialized with a GeneralThresholdAutomaton and an assignment of parameters. Then it can be transformed into an InitializedPathBuilder using PathBuilder::add_parameter_assignment, which then configurations and transitions can be added.

Fields

ta: GeneralThresholdAutomaton

parameter_assignment: HashMap<Parameter, u32>

Implementations

impl PathBuilder

pub fn new(ta: GeneralThresholdAutomaton) -> Self

Create a new path builder for the given GeneralThresholdAutomaton

pub fn add_parameter_assignment( self, param_evaluation: impl Into<HashMap<Parameter, u32>>, ) -> Result<InitializedPathBuilder, PathBuilderError>

Add a parameter assignment to the path and validate it against the resilience conditions of the threshold automaton

Trait Implementations

impl Clone for PathBuilder

fn clone(&self) -> PathBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PathBuilder

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

Formats the value using the given formatter.

impl PartialEq for PathBuilder

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