Struct MandatoryCapacity 

pub struct MandatoryCapacity {
    pub debt: WideResourceVector,
    pub absolute_fit: bool,
    pub debt_within_mandatory_bound: bool,
}

Results of the mandatory-class debt and absolute-fit formulas.

Fields

debt: WideResourceVector

Exact componentwise post-transaction debt.

absolute_fit: bool

Whether B' + K_remaining' <= cap holds componentwise.

debt_within_mandatory_bound: bool

Whether d' <= Q holds componentwise.

Implementations

impl MandatoryCapacity

pub const fn is_legal(self) -> bool

Returns whether both mandatory-class checks pass.

Trait Implementations

impl Clone for MandatoryCapacity

fn clone(&self) -> MandatoryCapacity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MandatoryCapacity

impl Debug for MandatoryCapacity

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

Formats the value using the given formatter.

impl Eq for MandatoryCapacity

impl PartialEq for MandatoryCapacity

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MandatoryCapacity