Enum EvalOp

Enum Documentation

enum class sequant::EvalOp

defines types of binary operations that can be performed on two EvalExpr objects.

Values:

enumerator Sum

Represents the sum of two EvalExpr objects. Such as a tensor plus a tensor and a constant plus a constant.

enumerator Product

Represents the product of two EvalExpr objects. Such as tensor times a tensor, a constant times a constant, or a tensor times a constant (in either order).

enumerator Adjoint

Represents the adjoint (conjugate transpose) of one EvalExpr

object. The result equals the bra/ket-swapped, complex-conjugated operand. The IR representation is “structurally binary, lexically

unary”: an Adjoint node holds the bare-label operand as its left child and a Constant(1) sentinel as its right child (so the

FullBinaryNode invariant — every non-leaf has both children — is preserved). Evaluate dispatches on this op_type and only uses the left operand; the right is ignored.