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, EpistemicCpuFallbackCounters, EpistemicExecutablePlan,
16    EpistemicGpuBufferKind, EpistemicGpuHotPathPhase, EpistemicGpuPlan, EpistemicReductionPlan,
17    EpistemicSolverAssumptionBinding, EpistemicSolverCapability, EpistemicSolverServiceContract,
18    EpistemicSolverStatusKind, EpistemicTupleMembershipBinding, EpistemicWcojReductionStatus,
19};
20pub use metadata::{LayoutHint, RirMeta, SkewSignature};
21pub use plan::{CompiledRule, ExecutionPlan, PlanBuilder, Scc, Stratum};
22pub use rir::{CompareOp, ConstValue, Expr, JoinType, ProjectExpr, RirNode};
xlog_ir/lib.rs

xlog_ir/
lib.rs
