data class Reference : Formula
The Reference proposition represents a special predicate "current state is the
state referenced by name" which can be (together with hybrid operators) used
to define things like cycles (for example bind x : EX EF x describes a cycle).
| <init> |
Reference(name: String)
The Reference proposition represents a special predicate "current state is the
state referenced by name" which can be (together with hybrid operators) used
to define things like cycles (for example |
| name |
val name: String
A unique name of the data referenced by this object |
| 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. |