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) querysubset
- 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.