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

Loop

object Loop : DirFormula

Special loop proposition - only a self-loop path matches this restriction.

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.