Trait ActionDefinition 

pub trait ActionDefinition:
    Clone
    + Debug
    + Display
    + PartialEq
    + Hash
    + Eq
    + Ord {
    // Required methods
    fn variable(&self) -> &Variable;
    fn is_unchanged(&self) -> bool;
    fn is_reset(&self) -> bool;
    fn is_increment(&self) -> bool;
    fn is_decrement(&self) -> bool;
}

Trait implemented by all flavors of actions

This trait is for example implemented for the general_threshold_automaton::Action type.

Required Methods

fn variable(&self) -> &Variable

Returns the variable to be updated by the action

fn is_unchanged(&self) -> bool

Check whether the action does not change any variables, i.e. is a noop

fn is_reset(&self) -> bool

Check whether the action is a reset action

fn is_increment(&self) -> bool

Check whether the action is an increment action

fn is_decrement(&self) -> bool

Check whether the action is a decrement action

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl ActionDefinition for Action