Trait ExecutionResourcesTraits

pub trait ExecutionResourcesTraits {
    // Required methods
    fn total_n_steps(&self) -> usize;
    fn to_resources_mapping(&self) -> ResourcesMapping;
    fn prover_builtins(&self) -> HashMap<BuiltinName, usize>;
    fn prover_builtins_by_name(&self) -> HashMap<String, usize>;
}

Required Methods

fn total_n_steps(&self) -> usize

fn to_resources_mapping(&self) -> ResourcesMapping

fn prover_builtins(&self) -> HashMap<BuiltinName, usize>

fn prover_builtins_by_name(&self) -> HashMap<String, usize>

Implementations on Foreign Types

impl ExecutionResourcesTraits for ExecutionResources

fn total_n_steps(&self) -> usize

fn prover_builtins(&self) -> HashMap<BuiltinName, usize>

fn prover_builtins_by_name(&self) -> HashMap<String, usize>

fn to_resources_mapping(&self) -> ResourcesMapping

Implementors