Struct PropMonitor

• Defined in File TrajectoryConstraints.h

Inheritance Relationships

Base Type

• public VAL::MonitorOwner (Class MonitorOwner)

Struct Documentation

struct PropMonitor : public VAL::MonitorOwner

Public Functions

inline PropMonitor(const Proposition *p)

inline const Proposition &operator*() const

inline const Proposition *operator->() const

Public Members

const Proposition *prop