Struct MultilinearExtensionIndex

pub struct MultilinearExtensionIndex<'a, P>
where
    P: PackedField,
{ /* private fields */ }

Data structure that indexes multilinear extensions by oracle ID.

A crate::oracle::MultilinearOracleSet indexes multilinear polynomial oracles by assigning unique, sequential oracle IDs.

Implementations

impl<'a, P> MultilinearExtensionIndex<'a, P>

where P: PackedField,

pub fn new() -> Self

pub fn get_index_entry(&self, id: OracleId) -> Result<IndexEntry<'a, P>, Error>

pub fn get_multilin_poly( &self, id: OracleId, ) -> Result<MultilinearWitness<'a, P>, Error>

pub fn has(&self, id: OracleId) -> bool

Whether has data for the given oracle id.

pub fn update_multilin_poly( &mut self, witnesses: impl IntoIterator<Item = (OracleId, MultilinearWitness<'a, P>)>, ) -> Result<(), Error>

pub fn update_multilin_poly_with_nonzero_scalars_prefixes( &mut self, witnesses: impl IntoIterator<Item = (OracleId, MultilinearWitness<'a, P>, usize)>, ) -> Result<(), Error>

Trait Implementations

impl<'a, P> Debug for MultilinearExtensionIndex<'a, P>

where P: PackedField + Debug,

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

Formats the value using the given formatter.

impl<'a, P> Default for MultilinearExtensionIndex<'a, P>

where P: PackedField + Default,

fn default() -> MultilinearExtensionIndex<'a, P>

Returns the “default value” for a type.