Package-level declarations

Primary Monitoring interface It is based on a strategy design pattern, where each kind of operators has a specific strategy implementation.

Strategy to interpret an atomic predicate on the signal of interest.

Strategy to interpret a binary logic operator

Strategy to interpret temporal logic operators on the future (except Until)

Strategy to interpret temporal logic operators on the past (except Since)

Strategy to interpret the Since temporal logic operator.

Strategy to interpret an unary logic operator

Strategy to interpret the Until operator