wali::witness::WitnessTrans Member List

This is the complete list of members for wali::witness::WitnessTrans, including all inherited members.

accept(Visitor &v, bool visitOnce=false)	wali::witness::WitnessTrans	[virtual]
combine(SemElem *se)	wali::witness::Witness	[virtual]
wali::SemElem::combine(SemElem *se)=0	wali::SemElem	[pure virtual]
wali::SemElem::combine(sem_elem_t se)	wali::SemElem
count	wali::Countable
COUNT	wali::witness::Witness	[static]
Countable()	wali::Countable
Countable(const Countable &c ATTR_UNUSED)	wali::Countable
delta(SemElem *se)	wali::SemElem	[virtual]
delta(sem_elem_t se)	wali::SemElem
diff(SemElem *se)	wali::SemElem	[virtual]
diff(sem_elem_t se)	wali::SemElem
equal(SemElem *se) const	wali::witness::Witness	[virtual]
wali::SemElem::equal(SemElem *se) const =0	wali::SemElem	[pure virtual]
wali::SemElem::equal(sem_elem_t se) const	wali::SemElem
extend(SemElem *se)	wali::witness::Witness	[virtual]
wali::SemElem::extend(SemElem *se)=0	wali::SemElem	[pure virtual]
wali::SemElem::extend(sem_elem_t se)	wali::SemElem
formatDepth(std::ostream &o, size_t depth) const	wali::witness::Witness
getTrans() const	wali::witness::WitnessTrans
IMarkable()	wali::IMarkable
IMarkable(const IMarkable &m ATTR_UNUSED)	wali::IMarkable
isEmpty	wali::witness::Witness	[protected]
isOne()	wali::witness::Witness
isZero()	wali::witness::Witness
mark() const	wali::Markable	[virtual]
Markable()	wali::Markable
Markable(const Markable &m)	wali::Markable
marked() const	wali::Markable	[virtual]
marshall(std::ostream &o) const	wali::SemElem	[virtual]
marshallWeight(std::ostream &o) const	wali::SemElem
one() const	wali::witness::Witness	[virtual]
wali::SemElem::one() const =0	wali::SemElem	[pure virtual]
wali::operator=(const Countable &c ATTR_UNUSED)	wali::Countable
wali::Markable::operator=(const Markable &m)	wali::Markable
wali::IMarkable::operator=(const IMarkable &m ATTR_UNUSED)	wali::IMarkable
prettyPrint(std::ostream &o, size_t depth) const	wali::witness::WitnessTrans	[virtual]
print(std::ostream &o) const	wali::witness::Witness	[virtual]
wali::SemElem::print(std::ostream &o) const =0	wali::SemElem	[pure virtual]
wali::SemElem::wali::Printable::print(std::ostream &) const =0	wali::Printable	[pure virtual]
quasi_one() const	wali::SemElem	[virtual]
reset_marks() const	wali::witness::Witness	[virtual]
SemElem()	wali::SemElem	[explicit]
star()	wali::SemElem
t	wali::witness::WitnessTrans	[protected]
to_string() const	wali::Printable
toString() const	wali::Printable
unmark() const	wali::Markable	[virtual]
user_se	wali::witness::Witness	[protected]
weight()	wali::witness::Witness
Witness(sem_elem_t se)	wali::witness::Witness
WitnessTrans(const wfa::ITrans &t)	wali::witness::WitnessTrans
XMLTag	wali::SemElem	[static]
zero() const	wali::witness::Witness	[virtual]
wali::SemElem::zero() const =0	wali::SemElem	[pure virtual]
~Countable()	wali::Countable	[virtual]
~IMarkable()	wali::IMarkable	[virtual]
~Markable()	wali::Markable	[virtual]
~Printable()	wali::Printable	[virtual]
~SemElem()	wali::SemElem	[virtual]
~Visitable()	wali::witness::Visitable	[virtual]
~Witness()	wali::witness::Witness	[virtual]
~WitnessTrans()	wali::witness::WitnessTrans