exploded-graph.h File Reference

#include "alloc-pool.h"
#include "fibonacci_heap.h"
#include "supergraph.h"
#include "sbitmap.h"
#include "shortest-paths.h"
#include "analyzer/sm.h"
#include "analyzer/program-state.h"
#include "analyzer/diagnostic-manager.h"
#include "analyzer/region-model.h"

Include dependency graph for exploded-graph.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	ana::impl_region_model_context
class	ana::point_and_state
struct	ana::eg_traits
struct	ana::eg_traits::dump_args_t
class	ana::exploded_node
class	ana::exploded_edge
class	ana::interprocedural_call
class	ana::interprocedural_return
class	ana::rewind_info_t
struct	ana::stats
struct	ana::eg_hash_map_traits
struct	ana::per_program_point_data
struct	ana::eg_point_hash_map_traits
struct	ana::per_call_string_data
struct	ana::per_function_data
class	ana::strongly_connected_components
struct	ana::strongly_connected_components::per_node_data
class	ana::worklist
class	ana::worklist::key_t
class	ana::exploded_graph
class	ana::feasibility_problem
class	ana::feasibility_state

Namespaces
namespace	ana