Trait wautomata::IdentityGenerableInterface

pub trait IdentityGenerableInterface: IdentityInterface + Default {
    fn next(&self) -> Self;
    fn is_valid(&self) -> bool;

    fn first() -> Self { ... }
}

Interface to identify an instance of somthing with ability to increase it to generate a new one.

Required Methods

fn next(&self) -> Self

Generate a new identity based on the current increasing it.

fn is_valid(&self) -> bool

Check is the identity valid.

Provided Methods

fn first() -> Self

Generate the first identity.

Implementors

impl IdentityGenerableInterface for IdentityWithInt