engine/io.github.moonlightsuite.moonlight.formula.temporal/SinceFormula

SinceFormula

public final class SinceFormula extends Record implements BinaryFormula, TemporalFormula

Since operator

Constructors

public void SinceFormula(Formula firstArgument, Formula secondArgument)

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)

getFirstArgument

public Formula getFirstArgument()

public Interval getInterval()

getSecondArgument

public Formula getSecondArgument()

public abstract int hashCode()

public boolean isUnbounded()

public abstract String toString()