data class Bind : Formula, Unary<Bind, Formula>
Hybrid operator which specifies that at the inspected state, the target formula holds with name substituted for the inspected state.
Warning: name must usually be a free name (not assigned yet).
| <init> |
Bind(name: String, target: Formula)
Hybrid operator which specifies that at the inspected state, the target formula holds with name substituted for the inspected state. |
| inner |
val inner: Formula
The singular child element of this object. |
| name |
val name: String
The name that should be substituted in the target formula |
| target |
val target: Formula
The target formula which is subject to substitution |
| node |
open val node: Formula
Formula is also the node in the tree, so |
| copy |
fun copy(inner: Formula): Bind
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. |