engine/io.github.moonlightsuite.moonlight.formula.spatial/EverywhereFormula

EverywhereFormula

public final class EverywhereFormula extends Record implements UnaryFormula, SpatialFormula

Everywhere operator

Constructors

EverywhereFormula

public void EverywhereFormula()

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()

getDistanceFunctionId

public String getDistanceFunctionId()

public abstract int hashCode()

public abstract String toString()