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

Not

data class Not : DirFormula, Unary<Not, DirFormula>

Logical negation. A path will match this restriction if it does not match the inner restriction.

Constructors

<init> Not(inner: DirFormula)

Logical negation. A path will match this restriction if it does not match the inner restriction.

Properties

inner val inner: DirFormula

The singular child element of this object.

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.