Struct EvalPointOracleIdMap

pub struct EvalPointOracleIdMap<T: Clone, F: Field> { /* private fields */ }

Data structure for efficiently querying and inserting evaluations of claims.

Equivalent to a HashMap<(OracleId, EvalPoint<F>), T> but uses vectors of vectors to store the data. This data structure is more memory efficient for small number of evaluation points and OracleIds which are grouped together.

Implementations

impl<T: Clone, F: Field> EvalPointOracleIdMap<T, F>

pub fn new() -> Self

pub fn get(&self, id: OracleId, eval_point: &[F]) -> Option<&T>

Query the first value found for an evaluation point for a given oracle id.

Returns None if no value is found.

pub fn insert(&mut self, id: OracleId, eval_point: EvalPoint<F>, val: T)

Insert a new evaluation point for a given oracle id.

pub fn contains(&self, id: OracleId, eval_point: &EvalPoint<F>) -> bool

Returns true if the map contains a value.

pub fn flatten(self) -> Vec<T>

Flatten the data structure into a vector of values.

pub fn clear(&mut self)

Trait Implementations

impl<T: Clone + Clone, F: Clone + Field> Clone for EvalPointOracleIdMap<T, F>

fn clone(&self) -> EvalPointOracleIdMap<T, F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + Clone, F: Debug + Field> Debug for EvalPointOracleIdMap<T, F>

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

Formats the value using the given formatter.

impl<T: Clone, F: Field> Default for EvalPointOracleIdMap<T, F>

fn default() -> Self

Returns the “default value” for a type.