Struct solana_libra_bytecode_verifier::partition::Partition

pub struct Partition { /* fields omitted */ }

Methods

impl Partition

pub fn add_nonce(&mut self, new_nonce: Nonce)

pub fn remove_nonce(&mut self, nonce: Nonce)

pub fn add_equality(&mut self, nonce1: Nonce, nonce2: Nonce)

pub fn is_equal(&self, nonce1: Nonce, nonce2: Nonce) -> bool

pub fn construct_canonical_partition(
    &self,
    nonce_map: &BTreeMap<Nonce, Nonce>
) -> Self

pub fn nonces(&self) -> BTreeSet<Nonce>

pub fn join(&self, partition: &Partition) -> Self

Trait Implementations

impl Clone for Partition

fn clone(&self) -> Partition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Partition

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

Formats the value using the given formatter.

impl Default for Partition

fn default() -> Partition

Returns the "default value" for a type.

impl Eq for Partition

impl PartialEq<Partition> for Partition

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Partition

impl StructuralPartialEq for Partition