Struct Tally 

pub struct Tally {
    pub records: u64,
    pub skipped: u64,
    pub bytes: u64,
    pub padding: u64,
    pub uniform: u64,
    pub mixed: u64,
    pub blank: u64,
}

How the bytes of some records fall into granules.

Everything here counts, so two tallies add, and the whole translation unit is the sum of its records.

Fields

records: u64

How many records were measured.

skipped: u64

How many were too large to measure and were skipped.

bytes: u64

How many bytes those records occupy in total.

padding: u64

How many of those bytes have no effective type, meaning padding.

uniform: u64

Granules whose typed bytes all agree, which cost one entry.

mixed: u64

Granules whose typed bytes do not, which cost an entry and a sixteen byte side table.

blank: u64

Granules with no typed bytes at all, which are padding to the end of the record.

Implementations

impl Tally

pub fn granules(&self) -> u64

How many granules were measured.

pub fn disagreeing(&self) -> f64

The fraction of granules that need a side table, which is question 6’s h.

A blank granule needs no side table, so it counts as agreeing here even though nothing in it agrees about anything. Zero granules gives zero, because a translation unit that declares no records puts no pressure on the budget.

pub fn ratio(&self, granule: u64) -> f64

Bytes of type plane per byte of program, under document 05’s compression.

One four byte entry per granule, plus a four byte per-byte side table over the whole granule for the ones that need one, so it is 4/g + 4h and the granule size only touches the first term. Tier D’s budget is 1.25 and the uncompressed plane is 4, which is also what this returns at a granule of one byte, since nothing disagrees with itself.

pub fn absorb(&mut self, other: Tally)

Adds another tally into this one.

Trait Implementations

impl Clone for Tally

fn clone(&self) -> Tally

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Tally

impl Debug for Tally

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

Formats the value using the given formatter.

impl Default for Tally

fn default() -> Tally

Returns the “default value” for a type.

impl Eq for Tally

impl PartialEq for Tally

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Tally