Class MonitorOwner

• Defined in File TrajectoryConstraints.h

Inheritance Relationships

Derived Types

• public VAL::Deadlined (Struct Deadlined)

• public VAL::PropMonitor (Struct PropMonitor)

• public VAL::PropositionPair (Struct PropositionPair)

• public VAL::TriggeredDeadlined (Struct TriggeredDeadlined)

• public VAL::Window (Struct Window)

Class Documentation

class MonitorOwner

Subclassed by VAL::Deadlined, VAL::PropMonitor, VAL::PropositionPair, VAL::TriggeredDeadlined, VAL::Window

Public Functions

inline virtual ~MonitorOwner()

inline MonitorOwner(Validator *v)

inline MonitorOwner(Validator *v, const string &n)

inline MonitorOwner()

inline MonitorOwner &operator=(const MonitorOwner &m)

inline MonitorOwner(const MonitorOwner &m)

inline virtual bool violationSerious(const State *s) const

inline void setPreference(Validator *v, const string &nm)