Skip to main content

datalog_structural_model/
lib.rs

1#![doc = include_str!("../README.md")]
2
3//! Typed Datalog rule programs and stratification analysis.
4
5mod capability;
6mod feature;
7mod ir;
8mod profile;
9mod requirements;
10mod stratify;
11
12pub use ir::{
13    AggregateBody, Aggregator, Atom, BindExpr, BuiltinFilter, ConstantSymbol, EqualityMode,
14    GroundAtom, GroundTerm, Literal, MAX_TRIPLE_TERM_NESTING, PredicateSymbol, Program,
15    ProgramValidationError, Rule, Term, TermShapeError, VariableSymbol,
16};
17pub use stratify::{Stratification, StratificationError, Stratum};
18
19pub use capability::{DatalogCapabilities, DatalogFeature};
20pub use feature::{BindingKind, FilterKind};
21pub use profile::{DatalogProfile, ProfileCheckError, UnsupportedCapabilities};