src/smp/components/model_checkers/base.h File Reference

Definition of the model checker. More...

#include <smp/planner_utils/trajectory.h>
#include <smp/planner_utils/vertex_edge.h>

Go to the source code of this file.

Classes
class	smp::model_checker_base< typeparams >
	An abstract model checker. More...
Namespaces
namespace	smp
	Sampling-based Motion Planning (SMP) Library.

---

Detailed Description

Definition of the model checker.