Struct Engine 

pub struct Engine {
    pub state: State,
    pub program: Program,
}

Fields

state: State

program: Program

Implementations

impl Engine

pub fn new(interner: Interner<String>) -> Self

pub fn with_builtins( &mut self, f: &dyn Fn(&mut Builtins<'_>, &mut Interner<String>), )

Run a callback to get builtins to add to the engine

pub fn load_notecard(&mut self, code: &str)

Parse code from a string and add it to the current program

pub fn run( &mut self, max_steps: usize, step_callback: Box<dyn Fn(&mut Engine, usize, VeraEvent)>, ) -> usize

Run the program for up to max_steps steps, calling a given callback on each step

pub fn setup(&mut self)

Initialize the engine, creating the registers list and setting up the initial facts in the knowledge base

pub fn run_step(&mut self) -> bool

Run the engine for a single step returning false if no rules or builtins matched

pub fn print_state(&mut self)