pub trait UnificationStoreBase: Index<usize, Output = VarValue<Self::Key>> {
    type Key: UnifyKey<Value = Self::Value>;
    type Value: UnifyValue;

    // Required method
    fn len(&self) -> usize;

    // Provided method
    fn tag() -> &'static str { ... }
}
Expand description

Largely internal trait implemented by the unification table backing store types. The most common such type is InPlace, which indicates a standard, mutable unification table.

Required Associated Types§

source

type Key: UnifyKey<Value = Self::Value>

source

type Value: UnifyValue

Required Methods§

source

fn len(&self) -> usize

Provided Methods§

source

fn tag() -> &'static str

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<K, V, L> UnificationStoreBase for InPlace<K, V, L>
where K: UnifyKey, V: VecLike<Delegate<K>>,

§

type Key = K

§

type Value = <K as UnifyKey>::Value