nkdsl.compiler.passes.analysis

Symbolic max-connection-size analysis compiler pass.

Functions

debug_event(msg, *[, scope, pass_name, tag, ...])

Structured debug event with scope and optional pass filtering.

Classes

AbstractSymbolicPass()	Abstract base for all symbolic compiler passes.
Any(*args, **kwargs)	Special type indicating an unconstrained type.
Mapping()	A Mapping is a generic container for associating key/value pairs.
SymbolicCompilationContext(*, operator, ir, ...)	Holds per-compilation mutable state across pipeline stages.
SymbolicFanoutAnalysisPass
SymbolicMaxConnSizeAnalysisPass()	Computes per-term and total max-connection-size bounds.