Struct SchemaSnapshot 

pub struct SchemaSnapshot {
    pub predicate_names: Vec<String>,
    pub domain_names: Vec<String>,
    pub rule_names: Vec<String>,
    pub predicate_arities: HashMap<String, usize>,
}

A lightweight snapshot of a SymbolTable for comparison purposes.

Fields

predicate_names: Vec<String>

Ordered list of predicate names.

domain_names: Vec<String>

Ordered list of domain names.

rule_names: Vec<String>

Ordered list of variable/rule names.

predicate_arities: HashMap<String, usize>

Predicate name → arity mapping.

Implementations

impl SchemaSnapshot

pub fn from_symbol_table(table: &SymbolTable) -> Self

Build a snapshot from a live SymbolTable.

pub fn predicate_count(&self) -> usize

Number of predicates in the snapshot.

pub fn domain_count(&self) -> usize

Number of domains in the snapshot.

Trait Implementations

impl Clone for SchemaSnapshot

fn clone(&self) -> SchemaSnapshot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaSnapshot

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

Formats the value using the given formatter.