engine/io.github.moonlightsuite.moonlight.offline.monitoring/TemporalMonitoring/addProperty

addProperty

public void addProperty(String name, Function<Parameters, Function<T, R>> atomicFunction)

Adds an atomic property to the monitored ones.

Parameters

name

identifier of the atomic property

atomicFunction

the function that corresponds to the property