structure.h File Reference

#include <boundary.h>
#include <freespace.h>
#include <tbb/tbb.h>

Go to the source code of this file.

Classes
class	frechet::reach::Structure
	The Reachability Structure; maintains a list of intervals on the border of Free Space, along with pointers to reachable intervals on the opposite side. More...
struct	frechet::reach::Structure::SingleCellAuxData
	aux. data structure that is used to construct an initial reachability cell More...
class	frechet::reach::StructureIterator
	The StructureIterator class. More...
class	frechet::reach::StructureTask
	task object for parallel execution. When the reachability structur is computed in parallel threads, we create a tree of task objects that are distributed over threads. More...
class	frechet::reach::CalculateTask
	a sub-task, computing a region of the reachability structure More...
class	frechet::reach::MergeTask
	a sub-taks, performing the merging of two reachability structures More...

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

Functions
std::ostream &	frechet::reach::operator<< (std::ostream &out, const Structure &str)
	print operator used for debugging; prints diagnostic info about a reachability structure More...