Struct polar_core::polar::Polar

pub struct Polar {
    pub kb: Arc<RwLock<KnowledgeBase>>,
    // some fields omitted
}

Fields

kb: Arc<RwLock<KnowledgeBase>>

Implementations

impl Polar

pub fn new() -> Self

pub fn diagnostic_load(&self, sources: Vec<Source>) -> Vec<Diagnostic>

Load sources into the KB, returning compile-time diagnostics accumulated during the load.

pub fn load(&self, sources: Vec<Source>) -> PolarResult<()>

Load Sources into the KB.

pub fn load_str(&self, src: &str) -> PolarResult<()>

pub fn clear_rules(&self)

Clear rules from the knowledge base

pub fn next_inline_query(&self, trace: bool) -> Option<Query>

pub fn new_query(&self, src: &str, trace: bool) -> PolarResult<Query>

pub fn new_query_from_term(&self, term: Term, trace: bool) -> Query

pub fn get_external_id(&self) -> u64

pub fn register_constant(&self, name: Symbol, value: Term) -> PolarResult<()>

pub fn register_mro(&self, name: Symbol, mro: Vec<u64>) -> PolarResult<()>

Register MRO for name with mro.

Params:

• mro: Should go from name, name’s next superclass, name's furthest away superclass. mro` is a list of class ids.

pub fn next_message(&self) -> Option<Message>

pub fn build_filter_plan(
    &self,
    types: Types,
    partial_results: PartialResults,
    variable: &str,
    class_tag: &str
) -> PolarResult<FilterPlan>

pub fn set_ignore_no_allow_warning(&mut self, ignore: bool)

Trait Implementations

impl Default for Polar

fn default() -> Self

Returns the “default value” for a type.