Struct PostcostContext

pub struct PostcostContext<'a> {
    pub get_ap_change_fn: &'a dyn Fn(&StatementIdx) -> usize,
    pub precost_gas_info: &'a GasInfo,
}

Fields

get_ap_change_fn: &'a dyn Fn(&StatementIdx) -> usize

precost_gas_info: &'a GasInfo

Trait Implementations

impl<CostType: PostCostTypeEx> SpecificCostContextTrait<CostType> for PostcostContext<'_>

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

Converts a CostType to a OrderedHashMap from CostTokenType to i64.

fn into_full_cost_iter( cost: CostType, ) -> impl Iterator<Item = (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: &CostType, future_wallet_value: CostType, ) -> Result<CostType, 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<CostType>, idx: &StatementIdx, branch_info: &BranchInfo, branch_cost: &BranchCost, ) -> WalletInfo<CostType>

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