Struct CSVariable 

pub struct CSVariable(usize);

A variable in a ACSThresholdAutomaton

Such a variable is internally only represents an index in the representation of an interval state, i.e., it describes which position of the vector holds the value of the interval in its concrete counter part (a [Variable]).

The mapping from [Variable] to CSVariable is maintained by theACSThresholdAutomaton. It is important to not mix CSVariable of different automata as it can result in panics and wrong results, as validation has been omitted for better performance.

Tuple Fields

0: usize

Implementations

impl CSVariable

pub fn display(&self, ta: &ACSThresholdAutomaton) -> String

Get a string representation of the variable, i.e., the name of the [Variable] this variable corresponds to

Trait Implementations

impl Clone for CSVariable

fn clone(&self) -> CSVariable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CSVariable

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

Formats the value using the given formatter.

impl Hash for CSVariable

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 Index<&CSVariable> for ACSIntervalState

type Output = ACSInterval

The returned type after indexing.

fn index(&self, var: &CSVariable) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<CSVariable> for ACSIntervalState

type Output = ACSInterval

The returned type after indexing.

fn index(&self, var: CSVariable) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<&CSVariable> for ACSIntervalState

fn index_mut(&mut self, var: &CSVariable) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl IndexMut<CSVariable> for ACSIntervalState

fn index_mut(&mut self, var: CSVariable) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl PartialEq for CSVariable

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

impl Eq for CSVariable

impl StructuralPartialEq for CSVariable