Struct RequiredCapacityPlan 

pub struct RequiredCapacityPlan { /* private fields */ }

Componentwise maximum required capacity across a finite successor plan.

Implementations

impl RequiredCapacityPlan

pub fn from_successors( successors: &[WideResourceVector], ) -> Result<Self, RequiredCapacityPlanError>

Takes the componentwise maximum across every reachable successor node.

Errors

Returns RequiredCapacityPlanError::EmptySuccessorSet for an empty plan, which cannot prove closure coverage.

pub fn ordinary( resulting_baseline: WideResourceVector, mandatory_bound: ResourceVector, full_recovery_claim: ResourceVector, ) -> Result<Self, RequiredCapacityPlanError>

Derives an ordinary caller’s required B' + Q + K vector.

Errors

Returns RequiredCapacityPlanError::ArithmeticOverflow for the first component whose canonical additions cannot fit u128.

pub const fn maximum(self) -> WideResourceVector

Returns the simulated componentwise maximum.

Trait Implementations

impl Clone for RequiredCapacityPlan

fn clone(&self) -> RequiredCapacityPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RequiredCapacityPlan

impl Debug for RequiredCapacityPlan

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

Formats the value using the given formatter.

impl Eq for RequiredCapacityPlan

impl PartialEq for RequiredCapacityPlan

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RequiredCapacityPlan