binius_core::composition::index

Function index_composition

source
pub fn index_composition<E, C, const N: usize>(
    superset: &[E],
    subset: [E; N],
    composition: C,
) -> Result<IndexComposition<C, N>, Error>
where E: PartialEq,
Expand description

A factory helper method to create an IndexComposition by looking at

  • superset - a set of identifiers of a greater (outer) query
  • subset - a set of identifiers of a smaller query, the one which corresponds to the inner composition directly

Identifiers may be anything Eq - OracleId, MultilinearPolyOracle<F>, etc.