| smp::branch_and_bound_base< typeparams > | Branch and bound base class |
| smp::branch_and_bound_euclidean< typeparams, NUM_DIMENSIONS > | Branch and bound with the Euclidean distance admissible heuristic (not considering obstacles) |
| smp::collision_checker_base< typeparams > | An abstract collision checker |
| smp::collision_checker_mu_calculus< typeparams, NUM_DIMENSIONS > | Mu-calculus collision checker |
| smp::collision_checker_standard< typeparams, NUM_DIMENSIONS > | Standard collision checker |
| smp::cost_evaluator_base< typeparams > | The abstract class that specifies the structure of the cost evalutor component |
| smp::cost_evaluator_time< typeparams > | The cost evaluator class based on the trajectory execution time |
| smp::distance_evaluator_base< typeparams > | The abstract class that specifies the structure of a distance evaluator component |
| smp::distance_evaluator_kdtree< typeparams, NUM_DIMENSIONS > | Distance evalutor that employs a kd-tree structure |
| smp::edge< typeparams > | Edge data structure of the graph maintained by a planner algorithm |
| smp::extender_base< typeparams > | The abstract class that specifies the structure of the extender component |
| smp::extender_double_integrator< typeparams, NUM_DIMENSIONS > | Extender function with double integrator dynamics |
| smp::extender_dubins< typeparams > | Implements the extender function with Dubins car dynamics |
| smp::extender_dubins_double_integrator< typeparams > | Extender function with dubins double integrator airplane dynamics |
| smp::extender_single_integrator< typeparams, NUM_DIMENSIONS > | Extender function with single integrator dynamics |
| smp::input_array_double< NUM_INPUTS > | Implementation of the input data structure as a double array |
| smp::input_double_integrator< NUM_DIMENSIONS > | Implementation of the input data structure for the double integrator dynamics |
| smp::input_dubins | Implementation of the input data structure for the Dubins car dynamics |
| smp::input_dubins_double_integrator | Implementation of the input data structure for the dubins double integrator airplane dynamics |
| smp::input_single_integrator | Input data structure for the single integrator dynamics |
| smp::interface_base< typeparams > | The abstract class that specifies the structure of a interfacing component |
| smp::interface_libbot< typeparams > | Libbot interface for smp |
| smp::interface_libbot_environment | Environment definition |
| smp::minimum_time_reachability< typeparams, NUM_DIMENSIONS > | A combination of the minimum-time cost evaluator and the reachability model checker |
| smp::minimum_time_reachability_edge_data | Edge data for minimum-time reachability |
| smp::minimum_time_reachability_vertex_data | Vertex data for minimum-time reachability |
| smp::model_checker_base< typeparams > | An abstract model checker |
| smp::model_checker_mu_calculus< typeparams > | Implements the mu-calculus model checker |
| smp::model_checker_mu_calculus_edge_data | Implements the edge data for mu-calculus model checking |
| smp::model_checker_mu_calculus_vertex_data | Implements the vertex data for mu-calculus model checking |
| smp::model_checker_reachability< typeparams, NUM_DIMENSIONS > | Reachability model checker |
| smp::model_checker_reachability_edge_data | Edge data for reachability checking |
| smp::model_checker_reachability_vertex_data | Vertex data for reachability checking |
| smp::planner< typeparams > | Generic sampling-based motion planner |
| smp::planner_incremental< typeparams > | Generic incremental sampling-based motion planner |
| smp::planner_parameters | Parameters for the RRG and the RRT* algorithms |
| smp::region< NUM_DIMENSIONS > | A rectangular region in an Euclidean space of prespecified dimension |
| smp::rrg< typeparams > | RRG algorithm |
| smp::rrt< typeparams > | RRT algorithm |
| smp::rrtstar< typeparams > | RRT* algorithm |
| smp::rrtstar_edge_data | Edge data for the RRT* algorithm |
| smp::rrtstar_vertex_data | Vertex data structure for the RRT* algorithm |
| smp::sampler_base< typeparams > | The abstract class that specifies the structure of a sampler component |
| smp::sampler_halton< typeparams, NUM_DIMENSIONS > | Implements the sampler components that relies on halton sampling |
| smp::sampler_trajectory_bias< typeparams, NUM_DIMENSIONS > | Implements the sampler components that relies on uniform sampling |
| smp::sampler_uniform< typeparams, NUM_DIMENSIONS > | Implements the sampler components that relies on uniform sampling |
| smp::state_array_double< NUM_STATES > | Implementation of the state data structure as a double array |
| smp::state_double_integrator< NUM_DIMENSIONS > | Implementation of the state data structure for the double integrator dynamics |
| smp::state_dubins | Implementation of the state data structure for the Dubins car dynamics |
| smp::state_dubins_double_integrator | Implementation of the state data structure for the dubins double integrator airplane dynamics |
| smp::state_single_integrator< NUM_DIMENSIONS > | State data structure for the single integrator dynamics |
| smp::trajectory< typeparams > | Trajectory definition as a states with interleaving inputs |
| smp::vertex< typeparams > | Vertex data structure of the graph maintained by a planner algorithm |
