axioval/lib.rs
1//! Batteries-included facade for the Axioval rule engine.
2#![forbid(unsafe_code)]
3
4pub use axioval_engine as engine;
5pub use axioval_ir as ir;
6pub use axioval_rules as rules;
7
8#[cfg(feature = "axiolid")]
9pub use axioval_axiolid as axiolid;
10#[cfg(feature = "icdd")]
11pub use axioval_icdd as icdd;
12#[cfg(feature = "openbim")]
13pub use axioval_openbim as openbim;
14
15/// Builds the maintained trusted capability registry.
16///
17/// # Errors
18///
19/// Returns an error if two maintained capabilities declare the same stable ID.
20pub fn default_registry() -> Result<engine::CapabilityRegistry, engine::EngineError> {
21 rules::register_builtins(engine::CapabilityRegistry::new())
22}