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

Package-level declarations

Types

public interface BinaryFormula implements Formula

Interface implemented by any logic formula over a binary logical operator.

public interface Formula implements SetFormula

Interface implemented by any logic formula.

@Deprecated(since = "adoption of java17 pattern matching makes this useless")

public interface ~~FormulaVisitor~~<P, M>

Visitor interface to interpret a formula and, recursively, its subformulae.

public class Interval extends Box<T>

Immutable data type that represents an interval over the set of real numbers (here limited to doubles).

public interface SpatialFormula implements Formula

Interface implemented by any logic formula over a temporal logical operator.

public interface TemporalFormula implements Formula

Interface implemented by any logic formula over a temporal logical operator.

public interface UnaryFormula implements Formula

Interface implemented by any logic formula over a unary logical operator.