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

Package-level declarations

Types

public final class EscapeFormula extends Record implements UnaryFormula, SpatialFormula

Escape operator

EverywhereFormula

public final class EverywhereFormula extends Record implements UnaryFormula, SpatialFormula

Everywhere operator

public final class ReachFormula extends Record implements BinaryFormula, SpatialFormula

Everywhere operator

SomewhereFormula

public final class SomewhereFormula extends Record implements UnaryFormula, SpatialFormula

Somewhere operator