Struct polar_core::kb::KnowledgeBase

pub struct KnowledgeBase {
    pub mro: HashMap<Symbol, Vec<u64>>,
    pub inline_queries: Vec<Term>,
    pub resource_blocks: ResourceBlocks,
    /* private fields */
}

Fields

mro: HashMap<Symbol, Vec<u64>>

Map of class name -> MRO list where the MRO list is a list of class instance IDs

inline_queries: Vec<Term>

resource_blocks: ResourceBlocks

Resource block bookkeeping.

Implementations

impl KnowledgeBase

pub fn new() -> Self

pub fn new_id(&self) -> u64

Return a monotonically increasing integer ID.

Wraps around at 52 bits of precision so that it can be safely coerced to an IEEE-754 double-float (f64).

pub fn id_counter(&self) -> Counter

pub fn temp_prefix(name: &str) -> String

Generate a temporary variable prefix from a variable name.

pub fn gensym(&self, prefix: &str) -> Symbol

Generate a new symbol.

pub fn add_rule(&mut self, rule: Rule)

pub fn validate_rules(&self) -> Vec<Diagnostic>

pub fn get_rules(&self) -> &HashMap<Symbol, GenericRule>

pub fn get_generic_rule(&self, name: &Symbol) -> Option<&GenericRule>

pub fn add_rule_type(&mut self, rule_type: Rule)

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

Define a constant variable.

Error on attempts to register the “union” types (Actor & Resource) since those types have special meaning in policies that use resource blocks.

pub fn is_constant(&self, name: &Symbol) -> bool

Return true if a constant with the given name has been defined.

pub fn get_registered_constants(&self) -> &Bindings

Getter for constants map without exposing it for mutation.

pub fn get_registered_class(&self, class: &Term) -> PolarResult<&Term>

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

Add the Method Resolution Order (MRO) list for a registered class. The mro argument is a list of the instance_id associated with a registered class.

pub fn clear_rules(&mut self)

pub fn rewrite_shorthand_rules(&mut self) -> Vec<PolarError>

pub fn create_resource_specific_rule_types(&mut self) -> PolarResult<()>

pub fn is_union(&self, maybe_union: &Term) -> bool

pub fn get_union_members(&self, union: &Term) -> &HashSet<Term>

pub fn has_rules(&self) -> bool

Trait Implementations

impl Default for KnowledgeBase

fn default() -> KnowledgeBase

Returns the “default value” for a type.