otawa::WorkSpace Member List

This is the complete list of members for otawa::WorkSpace, including all inherited members.

addProp(Property *prop)	otawa::PropList
addProps(const PropList &props)	otawa::PropList
cache(void)	otawa::WorkSpace	virtual
cancel(void)	otawa::WorkSpace	inline
cancelled	otawa::WorkSpace	private
clearCancellation(void)	otawa::WorkSpace	inline
clearProps(void)	otawa::PropList
config(void)	otawa::WorkSpace
delFeatDep(const AbstractFeature *feature)	otawa::WorkSpace	private
EMPTY	otawa::PropList	static
extractProp(const AbstractIdentifier *id)	otawa::PropList
extractProp(const AbstractIdentifier &id)	otawa::PropList	inline
feat_map_t typedef	otawa::WorkSpace	private
featMap	otawa::WorkSpace	private
findInstAt(address_t addr)	otawa::WorkSpace	inlinevirtual
format(Address addr, bool with_address=true)	otawa::WorkSpace
getASTInfo(void)	otawa::WorkSpace
getCFGInfo(void)	otawa::WorkSpace
getDependency(const AbstractFeature *feature)	otawa::WorkSpace
getProp(const AbstractIdentifier *id) const	otawa::PropList
getStartCFG(void)	otawa::WorkSpace
hasFeatDep(const AbstractFeature *feature)	otawa::WorkSpace	private
hasProp(const AbstractIdentifier &id) const	otawa::PropList	inline
invalidate(const AbstractFeature &feature)	otawa::WorkSpace
isCancelled(void) const	otawa::WorkSpace	inline
isProvided(const AbstractFeature &feature)	otawa::WorkSpace
loadConfig(const elm::system::Path &path)	otawa::WorkSpace
manager(void)	otawa::WorkSpace	inlinevirtual
newFeatDep(const AbstractFeature *feature)	otawa::WorkSpace	private
newILPSystem(bool max=true)	otawa::WorkSpace
operator=(const PropList &props)	otawa::PropList	inline
platform(void)	otawa::WorkSpace	inlinevirtual
print(elm::io::Output &out) const	otawa::PropList
proc	otawa::WorkSpace	private
process(void) const	otawa::WorkSpace	inline
PropList(const PropList &props)	otawa::PropList	inline
PropList(void)	otawa::PropList	inline
provide(const AbstractFeature &feature, const Vector< const AbstractFeature * > *required=NULL)	otawa::WorkSpace
remove(const AbstractFeature &feature)	otawa::WorkSpace
removeAllProp(const AbstractIdentifier *id)	otawa::PropList
removeProp(const AbstractIdentifier *id)	otawa::PropList
removeProp(const AbstractIdentifier &id)	otawa::PropList	inline
require(const AbstractFeature &feature, const PropList &props=PropList::EMPTY)	otawa::WorkSpace
serialize(elm::serial2::Serializer &serializer)	otawa::WorkSpace	virtual
setProp(Property *prop)	otawa::PropList
setProp(const AbstractIdentifier *id)	otawa::PropList	inline
start(void)	otawa::WorkSpace	inlinevirtual
unserialize(elm::serial2::Unserializer &unserializer)	otawa::WorkSpace	virtual
WorkSpace(Process *_proc)	otawa::WorkSpace
WorkSpace(const WorkSpace *ws)	otawa::WorkSpace
~PropList(void)	otawa::PropList	inline
~WorkSpace(void)	otawa::WorkSpace	virtual