nkdsl.compiler.diagnostics.traversals

IR traversal helpers used by diagnostic rules.

Functions

iter_amplitude_nodes(root)	Yields one amplitude-expression subtree in pre-order.
iter_predicate_amplitude_nodes(predicate)	Yields amplitude-expression leaves reachable from one predicate.
iter_term_amplitude_nodes(term)	Yields all amplitude nodes reachable from one symbolic IR term.
iter_term_static_index_nodes(term)	Yields all static-index uses in one term.
iter_update_amplitude_nodes(update_op)	Yields amplitude nodes reachable from one update operation.

Classes

AmplitudeExpr(op[, args])	Typed expression node for operator matrix elements.
Any(*args, **kwargs)	Special type indicating an unconstrained type.
Iterable()
PredicateExpr(op[, args])	Typed boolean expression node for operator branch filtering.
SymbolicIRTerm(name, iterator, predicate, ...)	One primitive declarative symbolic operator term.
UpdateOp(kind[, params])	One primitive site-update operation.