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

HistoricallyFormula

public final class HistoricallyFormula extends Record implements UnaryFormula, TemporalFormula

Historically operator

Parameters

argument

sub-formula on which the operator is applied

interval

(optional) time interval to which the operator is restricted. A missing interval means the operator is unbounded.

Constructors

HistoricallyFormula

public void HistoricallyFormula(Formula argument)

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

public Interval getInterval()

public abstract int hashCode()

public boolean isUnbounded()

public abstract String toString()