data class Numeric : Formula
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.
| <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. |
| cmp |
val cmp: CompareOp
Comparison operator |
| left |
val left: Expression
Left side of the comparison |
| right |
val right: Expression
Right side of the comparison |
| node |
open val node: Formula
Formula is also the node in the tree, so |
| toString |
fun toString(): String
Return string which uniquely represents this formula and can be parsed to create an equivalent object. |