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 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
struct	ana::exploded_node::on_stmt_flags
class	ana::exploded_edge
class	ana::dynamic_call_info_t
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::exploded_path
class	ana::feasibility_problem
class	ana::feasibility_state
class	ana::stmt_finder

Namespaces
namespace	ana

Typedefs
typedef shortest_paths< eg_traits, exploded_path >	ana::shortest_exploded_paths