HUCTLp / com.github.sybila.huctl / Formula / Numeric / <init>

<init>

Numeric(left: Expression, cmp: CompareOp, right: Expression)

Numeric proposition. The semantics of this proposition are not strictly defined. However, usually each state maps to a certain point/area in a cartesian space. In this case, the proposition outlines an area of valid states.