nkdsl.ir.predicates

Typed predicate-expression IR nodes for symbolic operators.

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.
PredicateExpr(op[, args])	Typed boolean expression node for operator branch filtering.