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

ReachFormula

public final class ReachFormula extends Record implements BinaryFormula, SpatialFormula

Everywhere operator

Parameters

distanceFunctionId

identifier of the distance function to consider

firstArgument

first sub-formula on which the operator is applied

secondArgument

second sub-formula on which the operator is applied

Constructors

public void ReachFormula()

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)

getDistanceFunctionId

public String getDistanceFunctionId()

getFirstArgument

public Formula getFirstArgument()

getSecondArgument

public Formula getSecondArgument()

public abstract int hashCode()

public abstract String toString()