Skip to main content

plan_kclique_var_order

Function plan_kclique_var_order 

Source
pub fn plan_kclique_var_order<S: StatsSource>(
    shape: &KCliqueShape,
    stats: &S,
) -> Option<FullVariableOrder>
Expand description

Plans a full variable order for a K-clique-family WCOJ shape.

The implementation ports the HoneyComb-style planning idea at the algorithm level: estimate per-variable pessimistic work from cardinality, NDV, selectivity, prefix degree, and key heat; allocate shares for all variables; then emit a deterministic binding order plus an edge permutation. Missing stats return None rather than guessing.