engine/io.github.moonlightsuite.moonlight.formula.classic/NegationFormula

NegationFormula

public final class NegationFormula extends Record implements UnaryFormula

Negation operator

Constructors

NegationFormula

public void NegationFormula()

Functions

public R accept<T, R>(FormulaVisitor<T, R> visitor, T parameters)

Primary entry point for the monitoring of a formula.

public abstract boolean equals(Object p)

public Formula getArgument()

public abstract int hashCode()

public abstract String toString()