data class Text : DirFormula
A general purpose proposition that can contain any string value.
| <init> |
Text(value: String)
A general purpose proposition that can contain any string value. |
| value |
val value: String
The text value of this proposition. |
| node |
open val node: DirFormula
DirFormula 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. |