HUCTLp / com.github.sybila.huctl / Formula / Equals

Equals

data class Equals : Formula, Binary<Equals, Formula>

Logical equivalence. A state satisfies this formula if it does not satisfy neither left nor right or if it satisfies both.

Constructors

<init> Equals(left: Formula, right: Formula)

Logical equivalence. A state satisfies this formula if it does not satisfy neither left nor right or if it satisfies both.

Properties

left val left: Formula

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

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

Inherited Properties

node open val node: Formula

Formula 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.