GraphCommon.hpp File Reference

Go to the source code of this file.

Classes
struct	wali::graph::Transition
struct	wali::graph::TransitionCmp
struct	wali::graph::TransitionEq
struct	wali::graph::TransitionHash
Namespaces
namespace	wali
namespace	wali::graph
Defines
#define	WIN(stmt)
#define	FWPDSDBGS(stmt)
#define	INCREMENTAL(stmt)
#define	STAT(stmt)
Typedefs
typedef std::pair< Transition, wali::sem_elem_t >	wali::graph::WTransition

---

Define Documentation

#define WIN

(

stmt

)

#define FWPDSDBGS

(

stmt

)

Referenced by wali::graph::IntraGraph::get_weight().

#define INCREMENTAL

(

stmt

)

#define STAT

(

stmt

)

Referenced by wali::graph::RegExp::combine(), wali::graph::RegExp::extend(), wali::graph::IntraGraph::get_weight(), wali::graph::InterGraph::setupInterSolution(), wali::graph::IntraGraph::setupIntraSolution(), and wali::graph::RegExp::star().