Type Alias: RelOp

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Solver / RelOp

Type Alias: RelOp

RelOp = "equal" | "not_equal" | "less_than" | "less_than_or_equal" | "greater_than" | "greater_than_or_equal"

Defined in: src/types/solver.ts:82

Relational operator used by the compare variant of a BoolExpr.

Remarks

Wire values (snake_case): "equal", "not_equal", "less_than", "less_than_or_equal", "greater_than", "greater_than_or_equal".