Struct PreCost

pub struct PreCost(pub OrderedHashMap<CostTokenType, i32>);

Tuple Fields

0: OrderedHashMap<CostTokenType, i32>

Implementations

impl PreCost

pub fn builtin(token_type: CostTokenType) -> Self

pub fn n_builtins(token_type: CostTokenType, n: i32) -> Self

Trait Implementations

impl Add for PreCost

Adds two PreCost instances.

type Output = PreCost

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl Clone for PreCost

fn clone(&self) -> PreCost

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CostTypeTrait for PreCost

fn min2(value1: &Self, value2: &Self) -> Self

Computes the minimum of the given two value (for each token type).

fn max(values: impl Iterator<Item = Self>) -> Self

Computes the maximum of the given value (for each token type).

fn rectify(value: &Self) -> Self

For each token type, returns the value if it is non-negative and 0 otherwise.

impl Debug for PreCost

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

Formats the value using the given formatter.

impl Default for PreCost

fn default() -> PreCost

Returns the “default value” for a type.

impl PartialEq for PreCost

fn eq(&self, other: &PreCost) -> 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 SpecificCostContextTrait<PreCost> for PreCostContext

fn to_cost_map(cost: PreCost) -> OrderedHashMap<CostTokenType, i64>

Converts a CostType to a OrderedHashMap from CostTokenType to i64.

fn to_full_cost_map(cost: PreCost) -> OrderedHashMap<CostTokenType, i64>

Converts a CostType to a OrderedHashMap from CostTokenType to i64. All relevant CostTokenType are included (even if their value is 0).

fn get_gas_withdrawal( &self, _idx: &StatementIdx, _branch_cost: &BranchCost, wallet_value: &PreCost, future_wallet_value: PreCost, ) -> Result<PreCost, CostError>

Computes the value that should be withdrawn and added to the wallet.

fn get_branch_requirement( &self, wallet_at_fn: &dyn Fn(&StatementIdx) -> WalletInfo<PreCost>, idx: &StatementIdx, branch_info: &BranchInfo, branch_cost: &BranchCost, ) -> WalletInfo<PreCost>

Returns the required value for the wallet for a single branch.

impl Sub for PreCost

Subtracts two PreCost instances.

type Output = PreCost

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl Eq for PreCost

impl StructuralPartialEq for PreCost