Struct ProvableQueryResult

pub struct ProvableQueryResult { /* private fields */ }

An intermediate form of a query result that can be transformed to either the finalized query result form or a query error

Implementations

impl ProvableQueryResult

pub fn num_columns(&self) -> usize

The number of columns in the result

pub fn indexes(&self) -> &Indexes

The indexes in the result.

pub fn new<'a, S: Scalar>( indexes: &'a Indexes, columns: &'a [Column<'a, S>], ) -> Self

Form intermediate query result from index rows and result columns

pub fn evaluate<S: Scalar>( &self, evaluation_point: &[S], table_length: usize, column_result_fields: &[ColumnField], ) -> Result<Vec<S>, QueryError>

Given an evaluation vector, compute the evaluation of the intermediate result columns as spare multilinear extensions

pub fn to_owned_table<S: Scalar>( &self, column_result_fields: &[ColumnField], ) -> Result<OwnedTable<S>, QueryError>

Convert the intermediate query result into a final query result

The result is essentially an OwnedTable type.

Trait Implementations

impl Clone for ProvableQueryResult

fn clone(&self) -> ProvableQueryResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for ProvableQueryResult

fn default() -> ProvableQueryResult

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProvableQueryResult

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProvableQueryResult

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.