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

_bbs	otawa::CFG	protected
_cfg	otawa::VirtualCFG	private
_entry	otawa::CFG	protected
_exit	otawa::CFG	protected
addBB(BasicBlock *bb)	otawa::VirtualCFG
addProp(Property *prop)	otawa::PropList
addProps(const PropList &props)	otawa::PropList
address(void)	otawa::CFG
cfg(void) const	otawa::VirtualCFG	inline
CFG(Segment seg, BasicBlock entry)	otawa::CFG
CFG(void)	otawa::CFG	protected
clearProps(void)	otawa::PropList
countBB(void)	otawa::CFG	inline
EMPTY	otawa::PropList	static
entry(void)	otawa::CFG	inline
exit(void)	otawa::CFG	inline
extractProp(const AbstractIdentifier *id)	otawa::PropList
extractProp(const AbstractIdentifier &id)	otawa::PropList	inline
firstBB(void)	otawa::CFG
firstInst(void)	otawa::CFG
FLAG_Inlined	otawa::CFG	protectedstatic
FLAG_Scanned	otawa::CFG	protectedstatic
FLAG_Virtual	otawa::CFG	protectedstatic
flags	otawa::CFG	protected
format(const Address &addr)	otawa::CFG
getProp(const AbstractIdentifier *id) const	otawa::PropList
hasProp(const AbstractIdentifier &id) const	otawa::PropList	inline
isInlined(void) const	otawa::CFG	inline
isVirtual(void) const	otawa::CFG	inline
label(void)	otawa::CFG
name(void)	otawa::CFG
number(void)	otawa::CFG	inline
numberBB(void)	otawa::CFG
numberBBs(void)	otawa::VirtualCFG
operator=(const PropList &props)	otawa::PropList	inline
print(io::Output &out)	otawa::CFG
otawa::PropList::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
removeBB(BasicBlock *bb)	otawa::VirtualCFG
removeProp(const AbstractIdentifier *id)	otawa::PropList
removeProp(const AbstractIdentifier &id)	otawa::PropList	inline
scan(void)	otawa::VirtualCFG	protectedvirtual
segment(void) const	otawa::CFG	inline
setProp(Property *prop)	otawa::PropList
setProp(const AbstractIdentifier *id)	otawa::PropList	inline
VirtualCFG(CFG *cfg, bool inlined=true)	otawa::VirtualCFG
VirtualCFG(bool addEntryExit=true)	otawa::VirtualCFG
virtualize(struct call_t stack, CFG cfg, BasicBlock entry, BasicBlock exit)	otawa::VirtualCFG	private
~CFG(void)	otawa::CFG	virtual
~PropList(void)	otawa::PropList	inline