wali::wfa::ITrans Member List

This is the complete list of members for wali::wfa::ITrans, including all inherited members.

apply_post(TaggedWeight tw) const =0	wali::wfa::ITrans	[pure virtual]
apply_pre(TaggedWeight tw) const =0	wali::wfa::ITrans	[pure virtual]
applyWeightChanger(util::WeightChanger &wc)=0	wali::wfa::ITrans	[pure virtual]
combineTrans(ITrans *tp)=0	wali::wfa::ITrans	[pure virtual]
copy() const =0	wali::wfa::ITrans	[pure virtual]
copy(Key fromst, Key stk, Key tost) const =0	wali::wfa::ITrans	[pure virtual]
equal(const ITrans &rhs) const	wali::wfa::ITrans	[virtual]
equal(const ITrans *rhs) const	wali::wfa::ITrans	[virtual]
from() const =0	wali::wfa::ITrans	[pure virtual]
from()=0	wali::wfa::ITrans	[pure virtual]
getConfig() const =0	wali::wfa::ITrans	[pure virtual]
getDelta() const =0	wali::wfa::ITrans	[pure virtual]
getDelta()=0	wali::wfa::ITrans	[pure virtual]
IMarkable()	wali::IMarkable
IMarkable(const IMarkable &m ATTR_UNUSED)	wali::IMarkable
keypair() const =0	wali::wfa::ITrans	[pure virtual]
mark() const =0	wali::IMarkable	[pure virtual]
marked() const =0	wali::IMarkable	[pure virtual]
marshall(std::ostream &o) const	wali::wfa::ITrans	[virtual]
modified() const =0	wali::wfa::ITrans	[pure virtual]
MODIFIED enum value	wali::wfa::ITrans
operator=(const IMarkable &m ATTR_UNUSED)	wali::IMarkable
poststar_eps_closure(sem_elem_t se)=0	wali::wfa::ITrans	[pure virtual]
print(std::ostream &o) const	wali::wfa::ITrans	[virtual]
wali::Printable::print(std::ostream &) const =0	wali::Printable	[pure virtual]
SAME enum value	wali::wfa::ITrans
setConfig(wpds::Config *c)=0	wali::wfa::ITrans	[pure virtual]
setDelta(const sem_elem_t w)=0	wali::wfa::ITrans	[pure virtual]
setWeight(sem_elem_t w)=0	wali::wfa::ITrans	[pure virtual]
stack() const =0	wali::wfa::ITrans	[pure virtual]
stack()=0	wali::wfa::ITrans	[pure virtual]
status_t enum name	wali::wfa::ITrans
to() const =0	wali::wfa::ITrans	[pure virtual]
to()=0	wali::wfa::ITrans	[pure virtual]
to_string() const	wali::Printable
toString() const	wali::Printable
unmark() const =0	wali::IMarkable	[pure virtual]
weight() const =0	wali::wfa::ITrans	[pure virtual]
weight()=0	wali::wfa::ITrans	[pure virtual]
XMLFromTag	wali::wfa::ITrans	[static]
XMLStackTag	wali::wfa::ITrans	[static]
XMLTag	wali::wfa::ITrans	[static]
XMLToTag	wali::wfa::ITrans	[static]
~IMarkable()	wali::IMarkable	[virtual]
~Printable()	wali::Printable	[virtual]