Struct Data

pub struct Data {
    pub blocks_at_end: Option<u64>,
    pub blocks_at_max: Option<u64>,
    pub blocks_read: Option<u64>,
    pub blocks_write: Option<u64>,
    pub bytes_at_end: Option<u64>,
    pub bytes_at_max: Option<u64>,
    pub maximum_blocks: Option<u64>,
    pub maximum_bytes: Option<u64>,
    pub total_blocks: u64,
    pub total_bytes: u64,
    pub total_lifetimes: Option<u128>,
}

Available on crate feature runner only.

The Data of each Node

Fields

blocks_at_end: Option<u64>

The blocks at t-end

blocks_at_max: Option<u64>

The blocks at t-gmax

blocks_read: Option<u64>

The reads of blocks

blocks_write: Option<u64>

The writes of blocks

bytes_at_end: Option<u64>

The bytes at t-end

bytes_at_max: Option<u64>

The bytes at t-gmax

maximum_blocks: Option<u64>

The maximum blocks

maximum_bytes: Option<u64>

The maximum bytes

total_blocks: u64

The total blocks

total_bytes: u64

The total bytes

total_lifetimes: Option<u128>

Total lifetimes of all blocks allocated

Trait Implementations

impl Clone for Data

fn clone(&self) -> Data

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Data

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

Formats the value using the given formatter.

impl Default for Data

fn default() -> Data

Returns the “default value” for a type.

impl From<&ProgramPoint> for Data

fn from(value: &ProgramPoint) -> Self

Converts to this type from the input type.

impl PartialEq for Data

fn eq(&self, other: &Data) -> 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 Eq for Data

impl StructuralPartialEq for Data