Struct Module 

pub struct Module {
    pub name: String,
    pub doc: Option<String>,
    /* private fields */
}

A module in the knowledge base

Fields

name: String

Module name

doc: Option<String>

Module documentation

Implementations

impl Module

pub fn new(name: impl Into<String>) -> Self

Create a new module

pub fn with_doc(self, doc: impl Into<String>) -> Self

Add documentation

pub fn add_rule(&mut self, rule_name: impl Into<String>)

Add a rule to this module

pub fn add_template(&mut self, template_name: impl Into<String>)

Add a template to this module

pub fn add_fact_type(&mut self, fact_type: impl Into<String>)

Add a fact type to this module

pub fn set_exports(&mut self, exports: ExportList)

Set export specification

pub fn get_exports(&self) -> &ExportList

Get export specification

pub fn add_import(&mut self, import: ImportDecl)

Add an import declaration

pub fn exports_rule(&self, rule_name: &str) -> bool

Check if this module exports a rule (including re-exports)

pub fn exports_template(&self, template_name: &str) -> bool

Check if this module exports a template (including re-exports)

pub fn get_rules(&self) -> &HashSet<String>

Get all rules in this module

pub fn get_templates(&self) -> &HashSet<String>

Get all templates in this module

pub fn get_imports(&self) -> &[ImportDecl]

Get all imports

pub fn set_salience(&mut self, salience: i32)

Set module-level salience (priority adjustment for all rules)

pub fn get_salience(&self) -> i32

Get module-level salience

pub fn should_re_export_rule(&self, rule_name: &str) -> bool

Check if a rule should be re-exported based on import declarations

pub fn should_re_export_template(&self, template_name: &str) -> bool

Check if a template should be re-exported based on import declarations

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Module

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

Formats the value using the given formatter.