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

UnaryFormula

public interface UnaryFormula implements Formula

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

See also

for more on the interface hierarchy

Inheritors

SomewhereFormula

EverywhereFormula

NegationFormula

GloballyFormula

HistoricallyFormula

EventuallyFormula

Functions

public R accept<T, R>(FormulaVisitor<T, R> visitor, T parameters)

Primary entry point for the monitoring of a formula.

public abstract Formula getArgument()