OrFormula

public final class OrFormula extends Record implements BinaryFormula

Or operator

Constructors

Link copied to clipboard
public void OrFormula()

Functions

Link copied to clipboard
public R accept<T, R>(FormulaVisitor<T, R> visitor, T parameters)
Primary entry point for the monitoring of a formula.
Link copied to clipboard
public abstract boolean equals(Object p)
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
public abstract int hashCode()
Link copied to clipboard
public abstract String toString()