pub trait Atomic:
Debug
+ Display
+ Hash
+ Clone
+ Eq
+ for<'a> From<&'a str>
+ Ord {
// Required method
fn name(&self) -> &str;
}Expand description
Atomic trait implemented by atomic expressions
This trait is implemented by types that can be used in atomic expressions, i.e., for threshold automata these can be parameters, variables, and locations.
All atomic expressions have a name associated with them, that must be unique within the threshold automaton.
Required Methods§
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.