Struct Compiled 

pub struct Compiled {
    pub atoms: Vec<AtomKey>,
    pub facts: Vec<Fact>,
    pub clauses: Vec<Clause>,
    pub rules: Vec<Rule>,
    pub checks: Vec<Check>,
    pub pending_imports: Vec<String>,
    pub unused_imports: Vec<UnusedImport>,
}

The compiled IR: the solver’s input.

Fields

atoms: Vec<AtomKey>

Indexed by AtomId; canonically sorted.

facts: Vec<Fact>

Confident assertions from FACT/NOT.

clauses: Vec<Clause>

Impossible clauses (desugared premises + the built-in non-contradiction).

rules: Vec<Rule>

Forward-chaining rules from RULE.

checks: Vec<Check>

CHECK queries.

pending_imports: Vec<String>

Imports seen but not yet resolved (only populated by compile_source; compile resolves them, leaving this empty).

unused_imports: Vec<UnusedImport>

Advisory: imports that a file makes but never references (no domain.atom from that file uses the imported domain). Structural, per-file, and inert — it never affects the solve. Only populated by compile (an unresolved import in compile_source cannot be classified). See UnusedImport.

Trait Implementations

impl Clone for Compiled

fn clone(&self) -> Compiled

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Compiled

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

Formats the value using the given formatter.

impl Eq for Compiled

impl PartialEq for Compiled

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