Struct PropositionPair

• Defined in File TrajectoryConstraints.h

Inheritance Relationships

Base Type

• public VAL::MonitorOwner (Class MonitorOwner)

Struct Documentation

struct PropositionPair : public VAL::MonitorOwner

Public Functions

inline PropositionPair(const Proposition *f, const Proposition *s)

Public Members

const Proposition *first

const Proposition *second