HUCTLp / com.github.sybila.huctl / DirFormula / Proposition

Proposition

data class Proposition : DirFormula

General direction proposition. Contains a variable name and a requested direction (increase/up or decrease/down).

Constructors

<init> Proposition(name: String, direction: Direction)

General direction proposition. Contains a variable name and a requested direction (increase/up or decrease/down).

Properties

direction val direction: Direction

The direction in which the path should be moving (up/down).
name val name: String

The name of the variable in which the direction should hold.

Inherited Properties

node open val node: DirFormula

DirFormula is also the node in the tree, so node == this

Functions

toString fun toString(): String

Return string which uniquely represents this formula and can be parsed to create an equivalent object.