Struct World 

pub struct World {
    pub facts: FactSet,
    pub rules: RuleSet,
    pub iterations: u64,
    pub extern_funcs: HashMap<String, ExternFunc>,
}

Fields

facts: FactSet

rules: RuleSet

iterations: u64

extern_funcs: HashMap<String, ExternFunc>

Implementations

impl World

pub fn new() -> Self

pub fn add_fact(&mut self, origin: &Origin, fact: Fact)

pub fn add_rule(&mut self, origin: usize, scope: &TrustedOrigins, rule: Rule)

pub fn run(&mut self, symbols: &SymbolTable) -> Result<(), Execution>

pub fn run_with_limits( &mut self, symbols: &SymbolTable, limits: RunLimits, ) -> Result<(), Execution>

pub fn query_rule( &self, rule: Rule, origin: usize, scope: &TrustedOrigins, symbols: &SymbolTable, ) -> Result<FactSet, Execution>

pub fn query_match( &self, rule: Rule, origin: usize, scope: &TrustedOrigins, symbols: &SymbolTable, ) -> Result<bool, Execution>

pub fn query_match_all( &self, rule: Rule, scope: &TrustedOrigins, symbols: &SymbolTable, ) -> Result<bool, Execution>

Trait Implementations

impl Clone for World

fn clone(&self) -> World

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for World

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

Formats the value using the given formatter.

impl Default for World

fn default() -> World

Returns the “default value” for a type.