Struct Definitions 

pub struct Definitions { /* private fields */ }

Map from named-class id to its definition body, if it has one.

Implementations

impl Definitions

pub fn body_of(&self, c: ClassId) -> Option<ConceptId>

Body of c’s definition, or None if c is primitive.

pub fn is_defined(&self, c: ClassId) -> bool

Whether c has a definition body.

pub fn num_classes(&self) -> usize

Total number of named classes covered by this table (including primitives without a definition).

pub fn num_defined(&self) -> usize

Count of names that have an attached definition body.

pub fn iter(&self) -> impl Iterator<Item = (ClassId, ConceptId)> + '_

Iterate over (class, body) pairs in class-id order.

Trait Implementations

impl Clone for Definitions

fn clone(&self) -> Definitions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Definitions

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

Formats the value using the given formatter.

impl Default for Definitions

fn default() -> Definitions

Returns the “default value” for a type.