Comparison predicates

The predicate system supports the standard comparison family.

Available comparisons

  • ==

  • !=

  • <

  • <=

  • >

  • >=

These comparisons operate on symbolic amplitude expressions.

Examples

site("i") > 0
site("i").index != site("j").index
site("i").value + site("j").value <= 2

Internally, these become nkdsl.ir.PredicateExpr nodes such as gt, ne, or le.