partition
Stable type · Runtime I/O
Tier: stable · Kind: type · Topic: Runtime I/O
| Julia | TypeScript | Python | Rust | Go |
|---|---|---|---|---|
| not exported | outside profile | Partition | Partition | outside 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 classifiescontinuous(a pure-topology rule contributes nothing to the per-step RHS).event_handler_empty— nothing materialises at thediscretecadence.
Members
thresholds— The materialization threshold multiset (sorted) — the conformance key.
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.
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.