Class Monitor

• Defined in File TrajectoryConstraints.h

Inheritance Relationships

Derived Type

• public VAL::PreferenceMonitor (Class PreferenceMonitor)

Class Documentation

class Monitor

Subclassed by VAL::PreferenceMonitor

Public Functions

inline Monitor()

inline virtual ~Monitor()

inline virtual bool violationSerious(const State *s) const

inline virtual Monitor *copy() const

Protected Functions

inline Monitor(const Monitor &m)