ReduceFormula

public final class ReduceFormula<V, R> extends Record implements Formula

Constructors

Link copied to clipboard
public void ReduceFormula()

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
Link copied to clipboard
public abstract int hashCode()
Link copied to clipboard
public abstract String toString()