Trait Reindex

Source
pub trait Reindex {
    // Required method
    fn reindex(&mut self, map: &IndexMap);
}
Expand description

Helper trait for reindexing process.

Reindexing is responsible for eliminating expression duplicates. It must be performed on a structure with no forward references.

Required Methods§

Source

fn reindex(&mut self, map: &IndexMap)

Reindex the expression/rule according to the given map.

Implementations on Foreign Types§

Source§

impl Reindex for EntityIndex

Source§

fn reindex(&mut self, _map: &IndexMap)

Source§

impl Reindex for VarIndex

Source§

fn reindex(&mut self, map: &IndexMap)

Source§

impl<T: Reindex> Reindex for Box<T>

Source§

fn reindex(&mut self, map: &IndexMap)

Source§

impl<T: Reindex> Reindex for Vec<T>

Source§

fn reindex(&mut self, map: &IndexMap)

Implementors§