Class PreferenceMonitor

• Defined in File TrajectoryConstraints.h

Inheritance Relationships

Base Type

• public VAL::Monitor (Class Monitor)

Class Documentation

class PreferenceMonitor : public VAL::Monitor

Public Functions

inline PreferenceMonitor(Validator *v, const string &nm)

inline virtual PreferenceMonitor *copy() const

virtual bool violationSerious(const State *s) const