Struct ChipCall 

pub struct ChipCall {
    pub chip_id: usize,
    pub first_instance: usize,
    pub inout: Vec<Operand>,
}

One invocation of a chip by the constraint system holding this call.

Fields

chip_id: usize

The ID of the chip being called: its index in ConstraintSystemM4::chips.

first_instance: usize

The instance of the callee that the caller’s first instance invokes.

A call site runs once per instance of its caller, so it claims the callee’s instances first_instance..first_instance + n_active, where n_active is the caller’s own active-instance count: the caller’s instance i invokes instance first_instance + i. Main runs once, so each of its calls claims a single instance.

Like the active-instance counts, this is denormalized — the call graph already says it, and ConstraintSystemM4::validate holds the two to each other.

inout: Vec<Operand>

The words passed as the callee’s inout values, positionally, as operands over the caller’s value vector.

There is at most one operand per inout value of the callee; the values past them are constrained to zero.

Trait Implementations

impl Clone for ChipCall

fn clone(&self) -> ChipCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChipCall

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

Formats the value using the given formatter.