Formula
Interface implemented by any logic formula. It is required to support the visit-based monitoring.
The following specialized versions have been defined to generalize access to some operators when monitoring:
See also
implementations to understand how the formula is visited