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 load(&self, src: &str, filename: Option<String>) -> PolarResult<()>

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)

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

pub fn enable_roles(&self) -> PolarResult<()>

Load the Polar roles policy idempotently.

pub fn validate_roles_config(
    &self,
    results: Vec<Vec<ResultEvent>>
) -> PolarResult<()>

Trait Implementations

impl Default for Polar

fn default() -> Self

Returns the “default value” for a type.