engine/io.github.moonlightsuite.moonlight.util

Package-level declarations

Types

BothFormulaGenerator

public class BothFormulaGenerator extends FormulaGenerator

FormulaGenerator

public abstract class FormulaGenerator

FutureFormulaGenerator

public class FutureFormulaGenerator extends FormulaGenerator

public final class Logger

Singleton log4j2 wrapper for Moonlight logging

MultiValuedTrace

public class MultiValuedTrace extends SpatialTemporalSignal<T>

Spatial-temporal signal that represents a generic trace of the kind (s,t) -> (x1, ..., xn).

ObjectSerializer

public class ObjectSerializer

PastFormulaGenerator

public class PastFormulaGenerator extends FormulaGenerator

public class Stopwatch

EXPERIMENTAL: Utility class for tracking execution time.

public class Utils