Struct chalk_engine::tables::Tables

pub(crate) struct Tables<I: Interner> {
    table_indices: FxHashMap<UCanonical<InEnvironment<Goal<I>>>, TableIndex>,
    tables: Vec<Table<I>>,
}

See Forest.

Fields

table_indices: FxHashMap<UCanonical<InEnvironment<Goal<I>>>, TableIndex>

Maps from a canonical goal to the index of its table.

tables: Vec<Table<I>>

Table: as described above, stores the key information for each tree in the forest.

Implementations

impl<I: Interner> Tables<I>

pub(crate) fn new() -> Tables<I>

pub(crate) fn next_index(&self) -> TableIndex

The index that will be given to the next table to be inserted.

pub(crate) fn insert(&mut self, table: Table<I>) -> TableIndex

pub(crate) fn index_of( &self, literal: &UCanonical<InEnvironment<Goal<I>>>, ) -> Option<TableIndex>

Trait Implementations

impl<I: Debug + Interner> Debug for Tables<I>

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

Formats the value using the given formatter.

impl<I: Interner> Index<TableIndex> for Tables<I>

type Output = Table<I>

The returned type after indexing.

fn index(&self, index: TableIndex) -> &Table<I>

Performs the indexing (container[index]) operation.

impl<I: Interner> IndexMut<TableIndex> for Tables<I>

fn index_mut(&mut self, index: TableIndex) -> &mut Table<I>

Performs the mutable indexing (container[index]) operation.

impl<'a, I: Interner> IntoIterator for &'a mut Tables<I>

type IntoIter = <&'a mut Vec<Table<I>> as IntoIterator>::IntoIter

Which kind of iterator are we turning this into?

type Item = <&'a mut Vec<Table<I>> as IntoIterator>::Item

The type of the elements being iterated over.

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.