wali::wfa::Trans Member List

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

apply_post(TaggedWeight tw) const	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::apply_post(TaggedWeight tw) const =0	wali::wfa::ITrans	[pure virtual]
apply_pre(TaggedWeight tw) const	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::apply_pre(TaggedWeight tw) const =0	wali::wfa::ITrans	[pure virtual]
applyWeightChanger(util::WeightChanger &wc)	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::applyWeightChanger(util::WeightChanger &wc)=0	wali::wfa::ITrans	[pure virtual]
combineTrans(ITrans *tp)	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::combineTrans(ITrans *tp)=0	wali::wfa::ITrans	[pure virtual]
config	wali::wfa::Trans	[mutable, protected]
copy() const	wali::wfa::Trans	[virtual]
copy(Key f, Key s, Key t) const	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::copy() const =0	wali::wfa::ITrans	[pure virtual]
wali::wfa::ITrans::copy(Key fromst, Key stk, Key tost) const =0	wali::wfa::ITrans	[pure virtual]
delta	wali::wfa::Trans	[protected]
equal(const ITrans &rhs) const	wali::wfa::ITrans	[virtual]
equal(const ITrans *rhs) const	wali::wfa::ITrans	[virtual]
from() const	wali::wfa::Trans
from()	wali::wfa::Trans
wali::wfa::ITrans::from() const =0	wali::wfa::ITrans	[pure virtual]
wali::wfa::ITrans::from()=0	wali::wfa::ITrans	[pure virtual]
from_state() const	wali::wfa::Trans
from_state()	wali::wfa::Trans
getConfig() const	wali::wfa::Trans
wali::wfa::ITrans::getConfig() const =0	wali::wfa::ITrans	[pure virtual]
getDelta() const	wali::wfa::Trans
getDelta()	wali::wfa::Trans
wali::wfa::ITrans::getDelta() const =0	wali::wfa::ITrans	[pure virtual]
wali::wfa::ITrans::getDelta()=0	wali::wfa::ITrans	[pure virtual]
IMarkable()	wali::IMarkable
IMarkable(const IMarkable &m ATTR_UNUSED)	wali::IMarkable
keypair() const	wali::wfa::Trans
wali::wfa::ITrans::keypair() const =0	wali::wfa::ITrans	[pure virtual]
kp	wali::wfa::Trans	[protected]
wali::mark() const =0	wali::IMarkable	[pure virtual]
wali::Markable::mark() const	wali::Markable	[virtual]
Markable()	wali::Markable
Markable(const Markable &m)	wali::Markable
wali::marked() const =0	wali::IMarkable	[pure virtual]
wali::Markable::marked() const	wali::Markable	[virtual]
marshall(std::ostream &o) const	wali::wfa::ITrans	[virtual]
MODIFIED enum value	wali::wfa::ITrans
modified() const	wali::wfa::Trans
wali::wfa::ITrans::modified() const =0	wali::wfa::ITrans	[pure virtual]
numTrans	wali::wfa::Trans	[static]
operator=(const Trans &t)	wali::wfa::Trans
operator=(const ITrans &t)	wali::wfa::Trans
wali::wfa::ITrans::operator=(const IMarkable &m ATTR_UNUSED)	wali::IMarkable
wali::Markable::operator=(const Markable &m)	wali::Markable
poststar_eps_closure(sem_elem_t se)	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::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
se	wali::wfa::Trans	[mutable, protected]
setConfig(wpds::Config *c)	wali::wfa::Trans
wali::wfa::ITrans::setConfig(wpds::Config *c)=0	wali::wfa::ITrans	[pure virtual]
setDelta(const sem_elem_t w)	wali::wfa::Trans
wali::wfa::ITrans::setDelta(const sem_elem_t w)=0	wali::wfa::ITrans	[pure virtual]
setWeight(sem_elem_t w)	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::setWeight(sem_elem_t w)=0	wali::wfa::ITrans	[pure virtual]
stack() const	wali::wfa::Trans
stack()	wali::wfa::Trans
wali::wfa::ITrans::stack() const =0	wali::wfa::ITrans	[pure virtual]
wali::wfa::ITrans::stack()=0	wali::wfa::ITrans	[pure virtual]
status	wali::wfa::Trans	[protected]
status_t enum name	wali::wfa::ITrans
to() const	wali::wfa::Trans
to()	wali::wfa::Trans
wali::wfa::ITrans::to() const =0	wali::wfa::ITrans	[pure virtual]
wali::wfa::ITrans::to()=0	wali::wfa::ITrans	[pure virtual]
to_state() const	wali::wfa::Trans
to_state()	wali::wfa::Trans
to_string() const	wali::Printable
toStateKey	wali::wfa::Trans	[protected]
toString() const	wali::Printable
Trans()	wali::wfa::Trans
Trans(Key from, Key stack, Key to, sem_elem_t se)	wali::wfa::Trans
Trans(const Trans &t)	wali::wfa::Trans
Trans(const ITrans &t)	wali::wfa::Trans
wali::unmark() const =0	wali::IMarkable	[pure virtual]
wali::Markable::unmark() const	wali::Markable	[virtual]
weight() const	wali::wfa::Trans	[virtual]
weight()	wali::wfa::Trans	[virtual]
wali::wfa::ITrans::weight() const =0	wali::wfa::ITrans	[pure virtual]
wali::wfa::ITrans::weight()=0	wali::wfa::ITrans	[pure virtual]
WFA class	wali::wfa::Trans	[friend]
XMLFromTag	wali::wfa::ITrans	[static]
XMLStackTag	wali::wfa::ITrans	[static]
XMLTag	wali::wfa::ITrans	[static]
XMLToTag	wali::wfa::ITrans	[static]
~IMarkable()	wali::IMarkable	[virtual]
~Markable()	wali::Markable	[virtual]
~Printable()	wali::Printable	[virtual]
~Trans()	wali::wfa::Trans	[virtual]