wali::wpds::ewpds Namespace Reference

Classes
class	ERule
class	ETrans
class	EWPDS
class	CopyCallRules
Typedefs
typedef ref_ptr< SemElemPair >	sem_elem_pair_t
typedef ref_ptr< ERule >	erule_t

---

Typedef Documentation

typedef ref_ptr<SemElemPair> wali::wpds::ewpds::sem_elem_pair_t

typedef ref_ptr< ERule > wali::wpds::ewpds::erule_t