Enum triton_vm::table::table_column::LookupExtTableColumn

#[repr(usize)]
pub enum LookupExtTableColumn {
    CascadeTableServerLogDerivative = 0,
    PublicEvaluationArgument = 1,
}

Variants

CascadeTableServerLogDerivative = 0

The (running sum of the) logarithmic derivative for the Lookup Argument with the Cascade Table. In every row, accumulates the summand LookupMultiplicity / Combo where Combo is the verifier-weighted combination of LookIn and LookOut.

PublicEvaluationArgument = 1

The running sum for the public evaluation argument of the Lookup Table. In every row, accumulates LookOut.

Trait Implementations

impl Clone for LookupExtTableColumn

fn clone(&self) -> LookupExtTableColumn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LookupExtTableColumn

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

Formats the value using the given formatter.

impl Display for LookupExtTableColumn

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

Formats the value using the given formatter.

impl EnumCount for LookupExtTableColumn

const COUNT: usize = 2usize

impl Hash for LookupExtTableColumn

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntoEnumIterator for LookupExtTableColumn

type Iterator = LookupExtTableColumnIter

fn iter() -> LookupExtTableColumnIter

impl MasterExtTableColumn for LookupExtTableColumn

fn ext_table_index(&self) -> usize

The index of the column in the “local” extension table, i.e., not the master extension table.

fn master_ext_table_index(&self) -> usize

The index of the column in the master extension table.

impl PartialEq for LookupExtTableColumn

fn eq(&self, other: &LookupExtTableColumn) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for LookupExtTableColumn

impl Eq for LookupExtTableColumn

impl StructuralPartialEq for LookupExtTableColumn