Enum momba_explore::Action[][src]

pub enum Action {

An action which is either silent or labeled.

An action is either the silent action or a labeled action instantiated with a sequence of values coined arguments. While action labels are generally represented as strings, we internally store the index into the action label declarations of the Network. Hence, the label index is only meaningful with respect to a particular instance of Network. The string action label can be retrieved via LabeledAction::label providing the network the action belongs to.



The silent action.


A labeled action.


impl Action[src]

pub fn is_silent(&self) -> bool[src]

Returns true if the action is silent.

pub fn is_labeled(&self) -> bool[src]

Returns true if the action is labeled.

pub fn label_index(&self) -> Option<LabelIndex>[src]

Returns the index of the action’s label or None if the action is silent.

pub fn arguments(&self) -> &[Value][src]

Returns a slice representing the arguments of the action.

For the silent action the slice is empty.

Trait Implementations

impl Clone for Action[src]

impl Debug for Action[src]

impl<'de> Deserialize<'de> for Action[src]

impl Eq for Action[src]

impl Hash for Action[src]

impl Into<Action> for LabeledAction[src]

impl PartialEq<Action> for Action[src]

impl Serialize for Action[src]

impl StructuralEq for Action[src]

impl StructuralPartialEq for Action[src]

Auto Trait Implementations

impl RefUnwindSafe for Action

impl Send for Action

impl Sync for Action

impl Unpin for Action

impl UnwindSafe for Action

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,