Struct Parameter 

pub struct Parameter(String);

Parameter appearing in a threshold automaton

Parameters are used to represent for example the number of processes and faulty processes. They are constrained by the resilience conditions and do not change during execution. Typical parameter names are n, t and f.

Tuple Fields

0: String

Implementations

impl Parameter

pub fn new(name: impl ToString) -> Self

Create a new parameter with given name

Trait Implementations

impl Atomic for Parameter

fn name(&self) -> &str

Returns the name of the atom

impl Clone for Parameter

fn clone(&self) -> Parameter

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Parameter

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

Formats the value using the given formatter.

impl Display for Parameter

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

Formats the value using the given formatter.

impl From<&str> for Parameter

fn from(s: &str) -> Self

Converts to this type from the input type.

impl<T> From<Parameter> for IntegerExpression<T>

where T: Atomic,

fn from(value: Parameter) -> Self

Converts to this type from the input type.

impl Hash for Parameter

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T> IntoNoDivBooleanExpr<T> for Parameter

where Self: Into<IntegerExpression<T>>, T: Atomic,

fn get_scaled_integer_expression( &self, scaling_factor: u32, ) -> IntegerExpression<T>

Encode the object into an IntegerExpression without divisions appearing

fn get_lcm_of_denominators(&self) -> u32

Get the lcm across all denominators in the object

fn encode_comparison_to_boolean_expression<Q>( &self, comparison_op: ComparisonOp, other: &Q, ) -> BooleanExpression<T>

where Q: IntoNoDivBooleanExpr<T>,

Encode the comparison of two expressions into a boolean expression with a that does not contain any real numbers.

impl IsDeclared<Parameter> for GeneralThresholdAutomaton

fn is_declared(&self, param: &Parameter) -> bool

Check if object of type T is declared

impl IsDeclared<Parameter> for InitializedGeneralThresholdAutomatonBuilder

fn is_declared(&self, param: &Parameter) -> bool

Check if object of type T is declared

impl IsDeclared<Parameter> for LIAThresholdAutomaton

fn is_declared(&self, obj: &Parameter) -> bool

Check if object of type T is declared

impl Ord for Parameter

fn cmp(&self, other: &Parameter) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Parameter

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

fn partial_cmp(&self, other: &Parameter) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Parameter

impl StructuralPartialEq for Parameter