Struct EtaJobQueue 

pub struct EtaJobQueue { /* private fields */ }

A priority queue for eta reduction jobs.

Implementations

impl EtaJobQueue

pub fn new() -> Self

Creates an empty job queue.

pub fn enqueue(&mut self, job: EtaJob)

Enqueues a job.

pub fn dequeue(&mut self) -> Option<EtaJob>

Dequeues the highest-priority job.

pub fn len(&self) -> usize

Returns the number of pending jobs.

pub fn is_empty(&self) -> bool

Returns true if empty.

Trait Implementations

impl Default for EtaJobQueue

fn default() -> Self

Returns the “default value” for a type.