Crate xlog_ir 

Intermediate representations for XLOG

Re-exports

pub use eir::EirAtom;

pub use eir::EirBodyLiteral;

pub use eir::EirConstraint;

pub use eir::EirEpistemicLiteral;

pub use eir::EirEpistemicMode;

pub use eir::EirEpistemicOp;

pub use eir::EirProgram;

pub use eir::EirRule;

pub use eir::EirTerm;

pub use epistemic_plan::EpistemicConstraintPlan;

pub use epistemic_plan::EpistemicCpuFallbackCounters;

pub use epistemic_plan::EpistemicExecutablePlan;

pub use epistemic_plan::EpistemicGpuBufferKind;

pub use epistemic_plan::EpistemicGpuHotPathPhase;

pub use epistemic_plan::EpistemicGpuPlan;

pub use epistemic_plan::EpistemicReductionPlan;

pub use epistemic_plan::EpistemicSolverAssumptionBinding;

pub use epistemic_plan::EpistemicSolverCapability;

pub use epistemic_plan::EpistemicSolverServiceContract;

pub use epistemic_plan::EpistemicSolverStatusKind;

pub use epistemic_plan::EpistemicTupleMembershipBinding;

pub use epistemic_plan::EpistemicWcojReductionStatus;

pub use metadata::LayoutHint;

pub use metadata::RirMeta;

pub use metadata::SkewSignature;

pub use plan::CompiledRule;

pub use plan::ExecutionPlan;

pub use plan::PlanBuilder;

pub use plan::Scc;

pub use plan::Stratum;

pub use rir::CompareOp;

pub use rir::ConstValue;

pub use rir::Expr;

pub use rir::JoinType;

pub use rir::ProjectExpr;

pub use rir::RirNode;

Modules

eir

Epistemic Intermediate Representation.

epistemic_plan

GPU-native epistemic execution planning contracts.

metadata

Metadata for RIR nodes (cardinality, memory estimates, skew)

plan

Execution plan representation

rir

Relational IR node definitions