Struct State 

pub struct State<V> { /* private fields */ }

A state of an automaton network.

Every state keeps track of the locations the automata of the network are in, the values of the global variables, and a potentially infinite set of clock valuations using the respective TimeType.

Implementations

impl<V> State<V>

pub fn get_location_of<'e, T: TimeType>( &self, explorer: &'e Explorer<T>, automaton_name: &str, ) -> &'e String

Returns the name of the location the automaton with the provided name is in.

Panics in case the state has not been produced by the provided explorer or there is no automaton with the provided name in the automaton network.

pub fn get_global_value<T: TimeType>( &self, explorer: &Explorer<T>, identifier: &str, ) -> &Value

Returns the value of the provided global variable.

Panics in case the state has not been produced by the provided explorer or there is no global variable with the provided name in the automaton network.

pub fn get_transient_value(&self, network: &Network, identifier: &str) -> &Value

Returns the value of the provided transient variable.

Panics in case the state has not been produced by the provided explorer or there is no transient variable with the provided name in the automaton network.

pub fn valuations(&self) -> &V

Returns the clock valuations associated with the state.

Trait Implementations

impl<V: Clone> Clone for State<V>

fn clone(&self) -> State<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for State<V>

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

Formats the value using the given formatter.

impl<'de, V> Deserialize<'de> for State<V>

where V: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<V: Hash> Hash for State<V>

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<V: PartialEq> PartialEq for State<V>

fn eq(&self, other: &State<V>) -> 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<V> Serialize for State<V>

where V: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<V: Eq> Eq for State<V>

impl<V> StructuralPartialEq for State<V>