Trait wautomata::IdentityGenerableInterface
source · [−]pub trait IdentityGenerableInterface: IdentityInterface + Default {
fn next(&self) -> Self;
fn is_valid(&self) -> bool;
fn first() -> Self { ... }
}
Expand description
Interface to identify an instance of somthing with ability to increase it to generate a new one.