Struct lattices::ght::lattice::GhtCartesianProductBimorphism

pub struct GhtCartesianProductBimorphism<GhtOut> { /* private fields */ }

Bimorphism for the cartesian product of two GHT subtries.

Output is a set of all possible pairs of suffixes from the two subtries. If you use this at the root of a GHT, it’s a full cross-product. If you use this at an internal node, it provides a ‘factorized’ representation with only the suffix cross-products expanded.

Trait Implementations

impl<GhtOut> Default for GhtCartesianProductBimorphism<GhtOut>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, 'b, GhtA, GhtB, GhtOut> LatticeBimorphism<&'a GhtA, &'b GhtB> for GhtCartesianProductBimorphism<GhtOut>

where GhtA: GeneralizedHashTrieNode, GhtA::Storage: VariadicSet<Schema = GhtA::Schema>, GhtB: GeneralizedHashTrieNode, GhtB::Storage: VariadicSet<Schema = GhtB::Schema>, GhtOut: FromIterator<<GhtA::SuffixSchema as VariadicExt>::Extend<GhtB::SuffixSchema>>, GhtA::SuffixSchema: CloneVariadic, GhtB::SuffixSchema: CloneVariadic,

type Output = GhtOut

The output lattice type.

fn call(&mut self, ght_a: &'a GhtA, ght_b: &'b GhtB) -> Self::Output

Executes the function.