Struct PropagationQueue 

pub struct PropagationQueue { /* private fields */ }

Priority queue for propagations.

Implementations

impl PropagationQueue

pub fn new(config: PriorityQueueConfig) -> Self

Create a new priority queue.

pub fn default_config() -> Self

Create with default configuration.

pub fn enqueue( &mut self, prop_type: PropagationType, literal: Option<Lit>, ) -> PropagationId

Enqueue a propagation.

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

Dequeue the highest-priority propagation.

pub fn peek(&self) -> Option<&Propagation>

Peek at the highest-priority propagation without removing it.

pub fn is_empty(&self) -> bool

Check if queue is empty.

pub fn len(&self) -> usize

Get current queue size.

pub fn clear(&mut self)

Clear all propagations.

pub fn stats(&self) -> &PriorityQueueStats

Get statistics.

pub fn reset_stats(&mut self)

Reset statistics.

Trait Implementations

impl Debug for PropagationQueue

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

Formats the value using the given formatter.

impl Default for PropagationQueue

fn default() -> Self

Returns the “default value” for a type.