Struct TrivialQueue 

pub struct TrivialQueue { /* private fields */ }

Trivial queue discipline; one may enqueue at most one state at a time. It can be used for strongly connected components with only one state and no self-loops.

Trait Implementations

impl Clone for TrivialQueue

fn clone(&self) -> TrivialQueue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TrivialQueue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for TrivialQueue

fn default() -> TrivialQueue

Returns the “default value” for a type.

impl Queue for TrivialQueue

fn head(&mut self) -> Option<StateId>

fn enqueue(&mut self, state: StateId)

fn dequeue(&mut self) -> Option<StateId>

fn update(&mut self, _state: StateId)

fn is_empty(&self) -> bool

fn clear(&mut self)

fn queue_type(&self) -> QueueType