Struct SemanticCompiler 

pub struct SemanticCompiler {
    pub interner: Rodeo,
    pub var_counter: usize,
    pub errors: Vec<String>,
    /* private fields */
}

Stateful compiler that transforms flat AST buffers into FOL logic forms.

Maintains a string interner, fresh variable counter, and context state for relative clauses, ka-abstractions, and ma query variables. Accumulated errors are checked after compilation.

Fields

interner: Rodeo

String interner for relation names and variable names.

var_counter: usize

Monotonically increasing counter for generating fresh variable names.

errors: Vec<String>

Accumulated semantic errors (e.g., ambiguous inject_variable). Checked after compilation; if non-empty, compile_buffer returns error.

Implementations

impl SemanticCompiler

pub fn compile_proposition( &mut self, proposition: &Proposition, predicates: &[Predicate], arguments: &[Argument], sentences: &[Sentence], ) -> IrForm

Compiles a proposition (predication) into FOL with quantifier scoping and tense wrapping.

pub fn compile_sentence( &mut self, sentence_id: u32, predicates: &[Predicate], arguments: &[Argument], sentences: &[Sentence], ) -> IrForm

Compiles a sentence node (simple proposition or connected sentences) into FOL.

impl SemanticCompiler

pub fn new() -> Self

Creates a new compiler with empty interner and zeroed counters.