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

EscapeFormula

public final class EscapeFormula extends Record implements UnaryFormula, SpatialFormula

Escape operator

Parameters

distanceFunctionId

identifier of the distance function to consider

argument

sub-formula on which the operator is applied

Constructors

public void EscapeFormula()

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