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

Implies

data class Implies : DirFormula, Binary<Implies, DirFormula>

Logical implication. A path will match this restriction only if does not match the left restriction or matches both left and right restriction.

Constructors

<init> Implies(left: DirFormula, right: DirFormula)

Logical implication. A path will match this restriction only if does not match the left restriction or matches both left and right restriction.

Properties

left val left: DirFormula

The child of this element which is the root of the left subtree.
right val right: DirFormula

The child of this element which is the root of the right subtree.

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.