engine/io.github.moonlightsuite.moonlight/SpatialTemporalMonitorProducer

SpatialTemporalMonitorProducer

@FunctionalInterface()

public interface SpatialTemporalMonitorProducer

Functions

public abstract SpatialTemporalMonitor<MoonLightRecord, MoonLightRecord, S> apply<S>(SignalDomain<S> domain, MoonLightRecord args)

public static SpatialTemporalMonitorProducer produceAnd(SpatialTemporalMonitorProducer left, SpatialTemporalMonitorProducer right)

public static SpatialTemporalMonitorProducer produceAtomic(BiFunction<MoonLightRecord, MoonLightRecord, Double> atomic)

public static SpatialTemporalMonitorProducer produceAtomic(BiFunction<MoonLightRecord, MoonLightRecord, Double> left, String op, BiFunction<MoonLightRecord, MoonLightRecord, Double> right)

public static SpatialTemporalMonitorProducer produceCall(SpatialTemporalMonitorProducer spatialTemporalMonitorProducer, RecordHandler callee, List<Function<MoonLightRecord, Double>> functionArgument)

public static SpatialTemporalMonitorProducer produceEscape(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Function<SpatialModel<MoonLightRecord>, DistanceStructure<MoonLightRecord, ? extends Object>>> distance)

produceEventually

public static SpatialTemporalMonitorProducer produceEventually(SpatialTemporalMonitorProducer arg)

public static SpatialTemporalMonitorProducer produceEventually(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Interval> interval)

produceEverywhere

public static SpatialTemporalMonitorProducer produceEverywhere(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Function<SpatialModel<MoonLightRecord>, DistanceStructure<MoonLightRecord, ? extends Object>>> distance)

public static SpatialTemporalMonitorProducer produceFalse()

produceGlobally

public static SpatialTemporalMonitorProducer produceGlobally(SpatialTemporalMonitorProducer arg)

public static SpatialTemporalMonitorProducer produceGlobally(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Interval> interval)

produceHistorically

public static SpatialTemporalMonitorProducer produceHistorically(SpatialTemporalMonitorProducer arg)

public static SpatialTemporalMonitorProducer produceHistorically(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Interval> interval)

produceImplication

public static SpatialTemporalMonitorProducer produceImplication(SpatialTemporalMonitorProducer left, SpatialTemporalMonitorProducer right)

produceNegation

public static SpatialTemporalMonitorProducer produceNegation(SpatialTemporalMonitorProducer arg)

public static SpatialTemporalMonitorProducer produceOnce(SpatialTemporalMonitorProducer arg)

public static SpatialTemporalMonitorProducer produceOnce(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Interval> interval)

public static SpatialTemporalMonitorProducer produceOr(SpatialTemporalMonitorProducer left, SpatialTemporalMonitorProducer right)

public static SpatialTemporalMonitorProducer produceReach(SpatialTemporalMonitorProducer left, Function<MoonLightRecord, Function<SpatialModel<MoonLightRecord>, DistanceStructure<MoonLightRecord, ? extends Object>>> distance, SpatialTemporalMonitorProducer right)

public static SpatialTemporalMonitorProducer produceSince(SpatialTemporalMonitorProducer left, SpatialTemporalMonitorProducer right)

public static SpatialTemporalMonitorProducer produceSince(SpatialTemporalMonitorProducer left, Function<MoonLightRecord, Interval> interval, SpatialTemporalMonitorProducer right)

produceSomewhere

public static SpatialTemporalMonitorProducer produceSomewhere(SpatialTemporalMonitorProducer arg, Function<MoonLightRecord, Function<SpatialModel<MoonLightRecord>, DistanceStructure<MoonLightRecord, ? extends Object>>> distance)

public static SpatialTemporalMonitorProducer produceTrue()

public static SpatialTemporalMonitorProducer produceUntil(SpatialTemporalMonitorProducer left, SpatialTemporalMonitorProducer right)

public static SpatialTemporalMonitorProducer produceUntil(SpatialTemporalMonitorProducer left, Function<MoonLightRecord, Interval> interval, SpatialTemporalMonitorProducer right)