Struct InverseContext 

pub struct InverseContext<T, B> { /* private fields */ }

Inverse context.

Implementations

impl<T, B> InverseContext<T, B>

pub fn new() -> Self

Creates an empty inverse context.

impl<T: Hash + Eq, B: Hash + Eq> InverseContext<T, B>

pub fn contains(&self, term: &Term<T, B>) -> bool

Checks whether the given term has an inverse definition.

pub fn insert(&mut self, term: Term<T, B>, value: InverseDefinition<T>)

Binds the given inverse definition to term, replacing any previous binding.

pub fn get(&self, term: &Term<T, B>) -> Option<&InverseDefinition<T>>

Returns the value bound to the given key, if any.

pub fn get_mut( &mut self, term: &Term<T, B>, ) -> Option<&mut InverseDefinition<T>>

Returns a mutable reference to the value bound to the given key, if any.

pub fn select( &self, var: &Term<T, B>, containers: &[Container], selection: &Selection<'_, T>, ) -> Option<&Key>

where T: Clone,

Selects the term to compact var with, trying containers in preference order and matching selection within the first container that has entries. Returns None if var has no inverse definition or nothing matches.

Trait Implementations

impl<T, B> Default for InverseContext<T, B>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, T: Clone + Hash + Eq, B: Clone + Hash + Eq> From<&'a Context<T, B>> for InverseContext<T, B>

fn from(context: &'a Context<T, B>) -> Self

Converts to this type from the input type.