Struct Window

• Defined in File TrajectoryConstraints.h

Inheritance Relationships

Base Type

• public VAL::MonitorOwner (Class MonitorOwner)

Struct Documentation

struct Window : public VAL::MonitorOwner

Public Functions

inline Window(const pair<double, double> &pds, const Proposition *p)

Public Members

pair<double, double> first

const Proposition *second