Struct ExternalizedSingletonInverseVariableSupply 

pub struct ExternalizedSingletonInverseVariableSupply<V, E>
where
    V: Eq + Hash + Clone + Send + Sync + 'static,
    E: Clone + Send + Sync + 'static,
{ /* private fields */ }

Hash-based implementation of inverse variable supply.

Uses a HashMap internally for O(1) average-case lookups. Thread-safe via RwLock.

Implementations

impl<V, E> ExternalizedSingletonInverseVariableSupply<V, E>

where V: Eq + Hash + Clone + Send + Sync + 'static, E: Clone + Send + Sync + 'static,

pub fn new(variable_name: impl Into<String>) -> Self

Creates a new externalized inverse variable supply.

pub fn variable_name(&self) -> &str

Returns the variable name this supply tracks.

Trait Implementations

impl<V, E> Debug for ExternalizedSingletonInverseVariableSupply<V, E>

where V: Eq + Hash + Clone + Send + Sync + 'static, E: Clone + Send + Sync + 'static,

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

Formats the value using the given formatter.

impl<V, E> SingletonInverseVariableSupply<V, E> for ExternalizedSingletonInverseVariableSupply<V, E>

where V: Eq + Hash + Clone + Send + Sync + 'static, E: Clone + Send + Sync + 'static,

fn get_inverse_singleton(&self, value: &V) -> Option<E>

Gets the entity that points to the given value, if any.

fn insert(&self, value: V, entity: E)

Registers that an entity now points to a value.

fn remove(&self, value: &V) -> Option<E>

Removes the mapping for a value.

fn clear(&self)

Clears all mappings.

fn len(&self) -> usize

Returns the number of tracked mappings.

fn update(&self, old_value: Option<&V>, new_value: V, entity: E)

Updates the mapping: removes old value mapping, adds new.

fn is_empty(&self) -> bool

Returns true if no mappings exist.

impl<V, E> Supply for ExternalizedSingletonInverseVariableSupply<V, E>

where V: Eq + Hash + Clone + Send + Sync + 'static, E: Clone + Send + Sync + 'static,

fn supply_type_id(&self) -> TypeId

Returns the type ID of this supply for registration purposes.