Struct SupplyManager 

pub struct SupplyManager { /* private fields */ }

Manager that holds and provides supplies.

The SupplyManager is the central registry for all supplies used by the solver. It creates supplies on-demand when first requested and caches them for reuse.

Thread Safety

The manager uses Arc for shared ownership, allowing supplies to be accessed from multiple threads during parallel solving.

Implementations

impl SupplyManager

pub fn new() -> Self

Creates a new empty supply manager.

pub fn demand<D: SupplyDemand>(&mut self, demand: &D) -> Arc<D::Output>

Gets or creates a supply for the given demand.

If the supply already exists, returns a clone of the Arc. Otherwise, creates a new supply using the demand’s create_supply method.

pub fn register<S: Supply>(&mut self, key: DemandKey, supply: Arc<S>)

Registers a pre-created supply.

This is useful when supplies are created externally and need to be registered with the manager.

pub fn get<S: Supply>(&self, key: &DemandKey) -> Option<Arc<S>>

Gets an existing supply without creating one.

Returns None if the supply has not been created yet.

pub fn remove(&mut self, key: &DemandKey) -> bool

Removes a supply from the manager.

pub fn clear(&mut self)

Clears all supplies from the manager.

pub fn len(&self) -> usize

Returns the number of registered supplies.

pub fn is_empty(&self) -> bool

Returns true if no supplies are registered.

Trait Implementations

impl Debug for SupplyManager

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

Formats the value using the given formatter.

impl Default for SupplyManager

fn default() -> SupplyManager

Returns the “default value” for a type.