engine/io.github.moonlightsuite.moonlight.core.formula/TemporalFormula

TemporalFormula

public interface TemporalFormula implements Formula

Interface implemented by any logic formula over a temporal logical operator. It is required to support the visit-based online monitoring.

See also

for more on the interface hierarchy

Inheritors

Functions

Link copied to clipboard
public R accept<T, R>(FormulaVisitor<T, R> visitor, T parameters)
Primary entry point for the monitoring of a formula.
Link copied to clipboard
public abstract Interval getInterval()
Link copied to clipboard
public abstract boolean isUnbounded()