P4::Definitions Member List

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 P4::IHasDbPrint)	P4::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 P4::IHasDbPrint)	P4::IHasDbPrint	virtual