nkdsl.ir.term

Typed declarative symbolic operator-term IR structures.

Functions

coerce_amplitude_expr(value)	Coerces user values into typed amplitude-expression nodes.
coerce_predicate_expr(value)	Coerces user values into typed predicate-expression nodes.

Classes

AmplitudeExpr(op[, args])	Typed expression node for operator matrix elements.
Any(*args, **kwargs)	Special type indicating an unconstrained type.
EmissionSpec(update_program, amplitude[, ...])	One output branch (connected state + matrix element) of a term.
KBodyIteratorSpec(labels, index_sets)	Static K-body iterator over a pre-computed list of site-index tuples.
PredicateExpr(op[, args])	Typed boolean expression node for operator branch filtering.
SymbolicIRTerm(name, iterator, predicate, ...)	One primitive declarative symbolic operator term.
UpdateProgram([ops])	Ordered immutable sequence of site-update operations.