[−][src]Struct momba_explore::State
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>
[src]
pub fn get_location_of<'e, T: TimeType>(
&self,
explorer: &'e Explorer<T>,
automaton_name: &str
) -> &'e String
[src]
&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
[src]
&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
[src]
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
[src]
Returns the clock valuations associated with the state.
Trait Implementations
impl<V: Clone> Clone for State<V>
[src]
impl<V: Debug> Debug for State<V>
[src]
impl<'de, V> Deserialize<'de> for State<V> where
V: Deserialize<'de>,
[src]
V: Deserialize<'de>,
pub fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
__D: Deserializer<'de>,
impl<V: Eq> Eq for State<V>
[src]
impl<V: Hash> Hash for State<V>
[src]
pub fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<V: PartialEq> PartialEq<State<V>> for State<V>
[src]
impl<V> Serialize for State<V> where
V: Serialize,
[src]
V: Serialize,
pub fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
__S: Serializer,
[src]
__S: Serializer,
impl<V> StructuralEq for State<V>
[src]
impl<V> StructuralPartialEq for State<V>
[src]
Auto Trait Implementations
impl<V> RefUnwindSafe for State<V> where
V: RefUnwindSafe,
[src]
V: RefUnwindSafe,
impl<V> Send for State<V> where
V: Send,
[src]
V: Send,
impl<V> Sync for State<V> where
V: Sync,
[src]
V: Sync,
impl<V> Unpin for State<V> where
V: Unpin,
[src]
V: Unpin,
impl<V> UnwindSafe for State<V> where
V: UnwindSafe,
[src]
V: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> DeserializeOwned for T where
T: for<'de> Deserialize<'de>,
[src]
T: for<'de> Deserialize<'de>,
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
pub fn equivalent(&self, key: &K) -> bool
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Pointable for T
pub const ALIGN: usize
type Init = T
The type for initializers.
pub unsafe fn init(init: <T as Pointable>::Init) -> usize
pub unsafe fn deref<'a>(ptr: usize) -> &'a T
pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
pub unsafe fn drop(ptr: usize)
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,