Struct TriggeredDeadlined
Defined in File TrajectoryConstraints.h
Inheritance Relationships
Base Type
public VAL::MonitorOwner
(Class MonitorOwner)
Struct Documentation
-
struct TriggeredDeadlined : public VAL::MonitorOwner
Public Functions
-
inline TriggeredDeadlined(const Proposition *p, const Deadlined &d)
-
inline TriggeredDeadlined(const Proposition *p, const Deadlined &d)