Struct ACSLocation 

pub struct ACSLocation(usize);

A location in a ACSThresholdAutomaton

Such a location is internally only represents an index in the representation of location state, i.e., it describes which position of the vector holds the number of processes in its concrete counter part (a [Location]).

The mapping from [Location] to ACSLocation is maintained by theACSThresholdAutomaton. It is important to not mix ACSLocation 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 ACSLocation

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

Get a string representation of the location, i.e. the name of the corresponding [Location]

Trait Implementations

impl Clone for ACSLocation

fn clone(&self) -> ACSLocation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ACSLocation

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

Formats the value using the given formatter.

impl Hash for ACSLocation

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<&ACSLocation> for ACSLocState

type Output = u32

The returned type after indexing.

fn index(&self, loc: &ACSLocation) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<ACSLocation> for ACSLocState

type Output = u32

The returned type after indexing.

fn index(&self, loc: ACSLocation) -> &Self::Output

Performs the indexing (container[index]) operation.

impl IndexMut<&ACSLocation> for ACSLocState

fn index_mut(&mut self, loc: &ACSLocation) -> &mut Self::Output

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

impl IndexMut<ACSLocation> for ACSLocState

fn index_mut(&mut self, loc: ACSLocation) -> &mut Self::Output

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

impl PartialEq for ACSLocation

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

impl Eq for ACSLocation

impl StructuralPartialEq for ACSLocation