Struct ExecutionResources

pub struct ExecutionResources {
    pub n_steps: usize,
    pub n_memory_holes: usize,
    pub builtin_instance_counter: HashMap<BuiltinName, usize>,
}

Fields

n_steps: usize

n_memory_holes: usize

builtin_instance_counter: HashMap<BuiltinName, usize>

Implementations

impl ExecutionResources

Returns a copy of the execution resources where all the builtins with a usage counter of 0 are omitted.

pub fn filter_unused_builtins(&self) -> ExecutionResources

Trait Implementations

impl Add<&ExecutionResources> for &ExecutionResources

type Output = ExecutionResources

The resulting type after applying the + operator.

fn add(self, rhs: &ExecutionResources) -> ExecutionResources

Performs the + operation.

impl AddAssign<&ExecutionResources> for ExecutionResources

fn add_assign(&mut self, rhs: &ExecutionResources)

Performs the += operation.

impl Clone for ExecutionResources

fn clone(&self) -> ExecutionResources

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionResources

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

Formats the value using the given formatter.

impl Default for ExecutionResources

fn default() -> ExecutionResources

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ExecutionResources

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Mul<usize> for &ExecutionResources

type Output = ExecutionResources

The resulting type after applying the * operator.

fn mul(self, rhs: usize) -> ExecutionResources

Performs the * operation.

impl MulAssign<usize> for ExecutionResources

fn mul_assign(&mut self, rhs: usize)

Performs the *= operation.

impl PartialEq for ExecutionResources

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for ExecutionResources

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<&ExecutionResources> for &ExecutionResources

type Output = ExecutionResources

The resulting type after applying the - operator.

fn sub(self, rhs: &ExecutionResources) -> ExecutionResources

Performs the - operation.

impl SubAssign<&ExecutionResources> for ExecutionResources

fn sub_assign(&mut self, rhs: &ExecutionResources)

Performs the -= operation.

impl Eq for ExecutionResources

impl StructuralPartialEq for ExecutionResources