smp::model_checker_reachability_vertex_data Class Reference

Vertex data for reachability checking. More...

#include <reachability.h>

List of all members.

Public Attributes

bool reaches_goal
 Reachability of the goal region.

Detailed Description


Member Data Documentation

Reachability of the goal region.

This variable that indicates whether the associated vertex state is inside the goal region. This data structure is suitable when the planner includes a trajectory to reach every vertex in the graph. RRT, RRT*, and RRG planners satsify this criterion.


The documentation for this class was generated from the following file: