Struct VmInventory

pub struct VmInventory<E, P> { /* private fields */ }

Implementations

impl<E, P> VmInventory<E, P>

pub fn new() -> Self

pub fn transmute<E2, P2>(self) -> VmInventory<E2, P2>

where E: Into<E2>, P: Into<P2>,

pub fn append( &mut self, other: VmInventory<E, P>, ) -> Result<(), VmInventoryError>

Append other to current inventory. This means self comes earlier in the dependency chain.

pub fn add_executor( &mut self, executor: impl Into<E>, opcodes: impl IntoIterator<Item = VmOpcode>, ) -> Result<(), VmInventoryError>

Inserts an executor with the collection of opcodes that it handles. If some executor already owns one of the opcodes, it will be replaced and the old executor ID is returned.

pub fn add_periphery_chip(&mut self, periphery_chip: impl Into<P>)

pub fn get_executor(&self, opcode: VmOpcode) -> Option<&E>

pub fn get_mut_executor(&mut self, opcode: &VmOpcode) -> Option<&mut E>

pub fn executors(&self) -> &[E]

pub fn periphery(&self) -> &[P]

pub fn num_airs(&self) -> usize

pub fn get_trace_heights(&self) -> VmInventoryTraceHeights

where E: ChipUsageGetter, P: ChipUsageGetter,

Return trace heights of all chips in the inventory. The order is deterministic:

• All executors come first, in the order they were added.
• All periphery chips come after, in the order they were added.

pub fn get_dummy_trace_heights(&self) -> VmInventoryTraceHeights

where E: ChipUsageGetter, P: ChipUsageGetter,

Return the dummy trace heights of the inventory. This is used for generating a dummy proof. Regular users should not need this.

Trait Implementations

impl<E: Clone, P: Clone> Clone for VmInventory<E, P>

fn clone(&self) -> VmInventory<E, P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug, P: Debug> Debug for VmInventory<E, P>

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

Formats the value using the given formatter.

impl<E, P> Default for VmInventory<E, P>

fn default() -> Self

Returns the “default value” for a type.