Struct SingletonInverseVariableDemand 

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

Demand for a singleton inverse variable supply.

Fields

variable_name: String

The variable name to track.

Implementations

impl<V, E> SingletonInverseVariableDemand<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 demand for an inverse variable supply.

Trait Implementations

impl<V, E> SupplyDemand for SingletonInverseVariableDemand<V, E>

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

type Output = ExternalizedSingletonInverseVariableSupply<V, E>

The type of supply this demand requests.

fn demand_key(&self) -> DemandKey

Returns a unique key identifying this specific demand.

fn create_supply(&self) -> Self::Output

Creates a new supply instance for this demand.