xlog_ir/
lib.rs

1//! Intermediate representations for XLOG
2#![warn(missing_docs)]
3
4pub mod eir;
5pub mod epistemic_plan;
6pub mod metadata;
7pub mod plan;
8pub mod rir;
9
10pub use eir::{
11    EirAtom, EirBodyLiteral, EirConstraint, EirEpistemicLiteral, EirEpistemicMode, EirEpistemicOp,
12    EirProgram, EirRule, EirTerm,
13};
14pub use epistemic_plan::{
15    EpistemicConstraintPlan, EpistemicExecutablePlan, EpistemicExecutionBackend,
16    EpistemicFallbackPolicy, EpistemicGpuBufferKind, EpistemicGpuHotPathPhase, EpistemicGpuPlan,
17    EpistemicReductionPlan, EpistemicSolverAssumptionBinding, EpistemicSolverCapability,
18    EpistemicSolverServiceContract, EpistemicSolverStatusKind, EpistemicTupleMembershipBinding,
19    EpistemicWcojReductionStatus,
20};
21pub use metadata::{LayoutHint, RirMeta, SkewSignature};
22pub use plan::{
23    CompiledRule, ExecutionPlan, GeneratedQueryRuleProvenance, PlanBuilder, Scc, Stratum,
24};
25pub use rir::{CompareOp, ConstValue, Expr, JoinType, ProjectExpr, RirNode};
xlog_ir/lib.rs

xlog_ir/
lib.rs
