data class At : Formula, Unary<At, Formula>
At operator specifies that a formula holds at the state with the given name.
Warning: name must be a bound name (assigned).
| <init> |
At(name: String, target: Formula)
At operator specifies that a formula holds at the state with the given name. |
| inner |
val inner: Formula
The singular child element of this object. |
| name |
val name: String
The name of the state that should be considered as a new point of interest |
| target |
val target: Formula
The formula which should be inspected at the new point of interest |
| node |
open val node: Formula
Formula is also the node in the tree, so |
| copy |
fun copy(inner: Formula): At
Create a copy of the original object but optionally replace the child element. |
| toString |
fun toString(): String
Return string which uniquely represents this formula and can be parsed to create an equivalent object. |