Struct DensityMetrics 

pub struct DensityMetrics {
    pub blocks_found: u8,
    pub definitions: u16,
    pub assignments: u16,
    pub quantifiers: u16,
    pub lambdas: u16,
    pub implications: u16,
    pub set_ops: u16,
    pub symbol_count: u16,
    pub token_count: u16,
}

Detailed density metrics

Fields

blocks_found: u8

Required blocks found (out of 5)

definitions: u16

Definition count (≜)

assignments: u16

Assignment count (≔)

quantifiers: u16

Quantifier count (∀, ∃)

lambdas: u16

Lambda count (λ)

implications: u16

Implication count (⇒, ⇔, →, ↔)

set_ops: u16

Set operation count (∈, ⊆, ∩, ∪, ∅)

symbol_count: u16

Total AISP symbols

token_count: u16

Total non-whitespace tokens

Implementations

impl DensityMetrics

pub fn from_source(source: &str) -> Self

Calculate from source

pub fn total_bindings(&self) -> u16

Total semantic bindings

pub fn block_score(&self) -> f32

Block score (0.0 - 1.0)

pub fn binding_score(&self) -> f32

Binding score (0.0 - 1.0, capped at 20 bindings)

pub fn pure_density(&self) -> f32

Pure density (symbols per token)

Trait Implementations

impl Clone for DensityMetrics

fn clone(&self) -> DensityMetrics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DensityMetrics

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

Formats the value using the given formatter.

impl Default for DensityMetrics

fn default() -> DensityMetrics

Returns the “default value” for a type.