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

Package-level declarations

Types

EventuallyFormula

public final class EventuallyFormula extends Record implements UnaryFormula, TemporalFormula

Eventually operator

GloballyFormula

public final class GloballyFormula extends Record implements UnaryFormula, TemporalFormula

Globally operator

HistoricallyFormula

public final class HistoricallyFormula extends Record implements UnaryFormula, TemporalFormula

Historically operator

public final class OnceFormula extends Record implements UnaryFormula, TemporalFormula

Once operator

public final class SinceFormula extends Record implements BinaryFormula, TemporalFormula

Since operator

public final class UntilFormula extends Record implements BinaryFormula, TemporalFormula

Until operator