Struct InverseContext

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

Inverse context.

Implementations

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

pub fn new() -> Self

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

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

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

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

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

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

where T: Clone,

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.