Module tree 

Operator tree IR for the planner.

Every concrete logical operator is represented in one OperatorTree enum so the optimizer can traverse and rewrite the tree with exhaustive pattern matching.

The enum is additive over the existing trait-object operators: the engine still composes operators through Arc<dyn Operator> at runtime, but the planner pre-rewrites an OperatorTree before handing it to the executor.

Structs

EdgePatternIR

GraphPatternIR

MultiStageEntry

A single entry in an OperatorTree::MultiStage cascade, pairing a child with either a fixed top-k or fractional cutoff.

ProgressiveFusionEntry

One stage of a OperatorTree::ProgressiveFusion.

TemporalFilterIR

Tree-local view of a temporal filter. The filter accepts either an exact timestamp or a [low, high] time range; both can be present simultaneously.

TextTopKPlan

Physical score-limit pushed into a text leaf.

VertexPatternIR

Single vertex pattern (variable name + accumulated constraints).

Enums

DeepFusionAggregation

Neighborhood reduction used by a graph-aware deep-fusion propagation layer. This lives in the algebra crate so the IR does not depend on the ML runtime crate.

DeepFusionLayer

Layer in a OperatorTree::DeepFusion pipeline.

DeepFusionPoolMethod

Element-wise reduction used by a graph-aware deep-fusion pooling layer.

ExternalPriorMode

External document prior used by OperatorTree::BayesianMatchWithPrior.

GatingSpec

MultiStageCutoff

Candidate cutoff for one stage of a multi-stage cascade.

OperatorTree

Concrete logical operator tree used by planning and rewrite passes.

ProbBoolMode

TextScoringMode

Text scoring algorithm used by OperatorTree::Term.

TextTopKStrategy

Exact physical top-k algorithm selected for a text-retrieval leaf.

Traits

AttentionFuserDyn

LearnedFuserDyn

Type Aliases

AttentionRef

Reference to an attention fusion model.

EdgeConstraint

Function pointer for an edge constraint (used by pattern match).

LearnedFusionRef

Reference to a learned fusion model.

PathWeightPredicate

Predicate over the accumulated numeric weight of a matching regular path.

ScorerRef

Reference to a scorer used by a Score node. The optimizer only inspects the field/query-terms of the score node; the scorer is passed through opaquely.

VertexConstraint

Function pointer for a vertex constraint (used by pattern match).

VertexPredicate

Function pointer for a vertex predicate (used by graph traverse).