graph_boost.h File Reference

#include <structure.h>
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>

Go to the source code of this file.

Classes
class	frechet::reach::Graph
	Represents a Reachability Graph. Vertices correspond to intervals in the reachability structure, broken down to the most fine-grained intervals. More...
class	frechet::reach::GraphModel
	model the mapping of free-space intervals to nodes in a frechet::reach::Graph. More...

Namespaces
	frechet
	global definitions for all algorithms.
	frechet::reach
	class for computing reachability structures and graphs.