TemporalMonitoring
Initializes a monitoring process over the given interpretation domain.
Parameters
interpretation
signal interpretation domain
public void TemporalMonitoring(Map<String, Function<Parameters, Function<T, R>>> atomicPropositions, SignalDomain<R> interpretation)
Initializes a monitoring process over the given interpretation domain, and the given atomic propositions.
Parameters
atomicPropositions
atomic propositions of interest
interpretation
signal interpretation domain