This is the complete list of members for P4::Definitions, including all inherited members.

cloneDefinitions() const (defined in P4::Definitions)	P4::Definitions	inline
dbprint(std::ostream &out) const override (defined in P4::Definitions)	P4::Definitions	inlinevirtual
Definitions()=default (defined in P4::Definitions)	P4::Definitions
Definitions(const Definitions &other) (defined in P4::Definitions)	P4::Definitions	inline
empty() const (defined in P4::Definitions)	P4::Definitions	inline
getPoints(const BaseLocation *location) const (defined in P4::Definitions)	P4::Definitions	inline
getPoints(const LocationSet *locations) const (defined in P4::Definitions)	P4::Definitions
hasLocation(const BaseLocation *location) const (defined in P4::Definitions)	P4::Definitions	inline
isUnreachable() const (defined in P4::Definitions)	P4::Definitions	inline
joinDefinitions(const Definitions *other) const (defined in P4::Definitions)	P4::Definitions
operator==(const Definitions &other) const (defined in P4::Definitions)	P4::Definitions
print() const (defined in IHasDbPrint)	IHasDbPrint
removeLocation(const StorageLocation *loc) (defined in P4::Definitions)	P4::Definitions
setDefinition(const StorageLocation loc, const ProgramPoints point) (defined in P4::Definitions)	P4::Definitions
setDefinition(const LocationSet loc, const ProgramPoints point) (defined in P4::Definitions)	P4::Definitions
setDefintion(const BaseLocation loc, const ProgramPoints point) (defined in P4::Definitions)	P4::Definitions	inline
setUnreachable() (defined in P4::Definitions)	P4::Definitions	inline
size() const (defined in P4::Definitions)	P4::Definitions	inline
writes(ProgramPoint point, const LocationSet *locations) const	P4::Definitions
~IHasDbPrint()=default (defined in IHasDbPrint)	IHasDbPrint	virtual