otawa::tsim::BBPath Member List

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

_length	otawa::tsim::BBPath	protected
addProp(Property *prop)	otawa::PropList
addProps(const PropList &props)	otawa::PropList
basicBlocks	otawa::tsim::BBPath	protected
BBPath(BasicBlock *start)	otawa::tsim::BBPath	protected
BBPath(elm::genstruct::Vector< BasicBlock * > *path)	otawa::tsim::BBPath	protected
clearProps(void)	otawa::PropList
countInstructions()	otawa::tsim::BBPath
EMPTY	otawa::PropList	static
extractProp(const AbstractIdentifier *id)	otawa::PropList
extractProp(const AbstractIdentifier &id)	otawa::PropList	inline
getBBPath(BasicBlock *start)	otawa::tsim::BBPath	static
getBBPath(elm::genstruct::Vector< BasicBlock * > *path)	otawa::tsim::BBPath	static
getProp(const AbstractIdentifier *id) const	otawa::PropList
getVar(ilp::System *system, bool explicit_names=false)	otawa::tsim::BBPath
hasProp(const AbstractIdentifier &id) const	otawa::PropList	inline
head()	otawa::tsim::BBPath	inline
instructions_simulated	otawa::tsim::BBPath	static
l()	otawa::tsim::BBPath	inline
last_framework_used	otawa::tsim::BBPath	protected
length()	otawa::tsim::BBPath	inline
makeVarName()	otawa::tsim::BBPath
nexts()	otawa::tsim::BBPath
operator()(int begin, int end)	otawa::tsim::BBPath	inline
operator=(const PropList &props)	otawa::PropList	inline
PathManager class	otawa::tsim::BBPath	friend
print(elm::io::Output &out) const	otawa::PropList
PropList(const PropList &props)	otawa::PropList	inline
PropList(void)	otawa::PropList	inline
removeAllProp(const AbstractIdentifier *id)	otawa::PropList
removeProp(const AbstractIdentifier *id)	otawa::PropList
removeProp(const AbstractIdentifier &id)	otawa::PropList	inline
setProp(Property *prop)	otawa::PropList
setProp(const AbstractIdentifier *id)	otawa::PropList	inline
simulate(WorkSpace *fw)	otawa::tsim::BBPath	protected
sub(int begin, int end)	otawa::tsim::BBPath
t(WorkSpace *fw)	otawa::tsim::BBPath	inline
tail()	otawa::tsim::BBPath	inline
time(WorkSpace *fw)	otawa::tsim::BBPath
~PropList(void)	otawa::PropList	inline