Struct ACSLocState 

pub struct ACSLocState {
    loc_state: Vec<u32>,
}

Assignment of process counts to a location

The LocationState tracks how many processes are in each location of the threshold automaton.

Use this type with care. LocationStates of different automata should never be indexed by locations of other automata.

Fields

loc_state: Vec<u32>

Vector counting how many processes are in each location

Implementations

impl ACSLocState

pub fn into_iterator_loc_n_procs( &self, ) -> impl Iterator<Item = (ACSLocation, u32)>

Iterate over the configurations and the number of processes in these locations

pub fn compute_predecessors_min_basis(&self, rule: &CSRule) -> Self

Compute the minimal basis of the predecessor

This function assumes that self is the minimal basis of an upwards closed set of locations and computes the minimal basis of a state from which an element in self can be reached using CSRule.

In particular this means that the predecessor generated here, can have more processes than self.

fn new_all_zero(ta: &ACSThresholdAutomaton) -> Self

pub fn compute_target_cfg( spec: &TargetConfig, ta: &ACSThresholdAutomaton, ) -> Self

Get the ACSLocState that corresponds to the target configuration

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

Get a string representation of the location state

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

Get a string representation of the location state, leaving out locations with zero processes in them

Trait Implementations

impl Clone for ACSLocState

fn clone(&self) -> ACSLocState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ACSLocState

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

Formats the value using the given formatter.

impl Hash for ACSLocState

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 Ord for ACSLocState

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

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

fn partial_cmp(&self, other: &ACSLocState) -> 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 PartialOrder for ACSLocState

fn part_cmp(&self, other: &Self) -> PartialOrdCompResult

fn is_greater_or_equal(&self, other: &Self) -> bool

Check whether self is greater or equal to other in the partial order

fn is_smaller_or_equal(&self, other: &Self) -> bool

Check whether self is smaller or equal to other in the partial order

impl Eq for ACSLocState

impl StructuralPartialEq for ACSLocState