Version: dev

partition

Stable type · Runtime I/O

Tier: stable · Kind: type · Topic: Runtime I/O

JuliaTypeScriptPythonRustGo
not exportedoutside profilePartitionPartitionoutside profile

Julia

Julia does not export this type.

TypeScript

Not available in TypeScript. TypeScript is outside the runtime I/O capability profile (Julia, Python, Rust): data-source providers, refresh cadence, output sinks, checkpoints.

Python

class Partition
Partition(class_summary: dict[str, int], materialization_points: list[MaterializationPoint] = list(), hot_tree_empty: bool = True, event_handler_empty: bool = True)
Partition.thresholds: list[str]  # property

The result of the cadence-partition pass over one model.

  • class_summary — annotated nodes counted by derived class.
  • materialization_points — where the frontier cut fires (expr-edge cuts inside the hot tree + whole-equation output buffers folded out of it).
  • hot_tree_empty — no node classifies continuous (a pure-topology rule contributes nothing to the per-step RHS).
  • event_handler_empty — nothing materialises at the discrete cadence.

Members

  • thresholds — The materialization threshold multiset (sorted) — the conformance key.

Source

Rust

pub struct Partition {
    pub class_summary: ClassSummary,
    pub materialization_points: Vec<MaterializationPoint>,
    pub hot_tree_empty: bool,
    pub event_handler_empty: bool,
}

The partition of one model: the class summary, the materialization-point set, and the hot-tree / per-event-handler emptiness (§5.7.5 three execution outputs). Guards (§5.7.6) are checked during partition_model ; a violation is an Err.

Source · Rust docs

Go

Not available in Go. Go is outside the runtime I/O capability profile (Julia, Python, Rust): data-source providers, refresh cadence, output sinks, checkpoints.