Package-level declarations

Types

Link copied to clipboard
public class AtomicMonitor<V, R extends Comparable<R>> implements OnlineMonitor<T, V, R>
Strategy to interpret (online) an atomic predicate on the signal of interest.
Link copied to clipboard
public class BinaryMonitor<V, R extends Comparable<R>> implements OnlineMonitor<T, V, R>
Strategy to interpret (online) an atomic predicate on the signal of interest.
Link copied to clipboard
public class TemporalOpMonitor<V, R extends Comparable<R>> implements OnlineMonitor<T, V, R>
Strategy to interpret (online) an atomic predicate on the signal of interest.
Link copied to clipboard
public class UnaryMonitor<V, R extends Comparable<R>> implements OnlineMonitor<T, V, R>
Strategy to interpret (online) an atomic predicate on the signal of interest.