|  | RobWorkProject
    23.9.11-
    | 
Z3 based point-to-point planner. More...
#include <Z3QToQPlanner.hpp>
Inherits QToQPlanner.
| Public Member Functions | |
| Z3QToQPlanner (rw::core::Ptr< rw::pathplanning::QSampler > sampler, rw::pathplanning::QToQPlanner::Ptr localPlanner, int nodeCnt, int repeatCnt) | |
| Constructor.  More... | |
|  Public Member Functions inherited from PathPlanner< rw::math::Q, const rw::math::Q > | |
| virtual | ~PathPlanner () | 
| Destructor. | |
| bool | query (const rw::math::Q &from, const rw::math::Q &to, rw::trajectory::Path< rw::math::Q > &path, const StopCriteria &stop) | 
| Plan a path from the configuration from to the destination to.  More... | |
| bool | query (const rw::math::Q &from, const rw::math::Q &to, rw::trajectory::Path< rw::math::Q > &path, double time) | 
| Plan a path from the configuration from to the destination to.  More... | |
| bool | query (const rw::math::Q &from, const rw::math::Q &to, rw::trajectory::Path< rw::math::Q > &path) | 
| Plan a path from the configuration from to the destination to.  More... | |
| core::PropertyMap & | getProperties () | 
| Property map for the planner. | |
| const core::PropertyMap & | getProperties () const | 
| Property map for the planner. | |
| Additional Inherited Members | |
|  Public Types inherited from QToQPlanner | |
| typedef rw::core::Ptr< QToQPlanner > | Ptr | 
| smart pointer type to this class | |
| typedef rw::core::Ptr< const QToQPlanner > | CPtr | 
| smart pointer type to this const class | |
|  Public Types inherited from PathPlanner< rw::math::Q, const rw::math::Q > | |
| typedef rw::core::Ptr< PathPlanner > | Ptr | 
| smart pointer type to this class | |
|  Static Public Member Functions inherited from QToQPlanner | |
| static QToQPlanner::Ptr | make (rw::core::Ptr< QToQSamplerPlanner > planner) | 
| Construct a path planner from a region planner.  More... | |
| static QToQPlanner::Ptr | make (const PlannerConstraint &constraint) | 
| Construct a path planner from an edge constraint.  More... | |
|  Protected Member Functions inherited from PathPlanner< rw::math::Q, const rw::math::Q > | |
| PathPlanner () | |
| Default constructor provided for subclasses. | |
Z3 based point-to-point planner.
| Z3QToQPlanner | ( | rw::core::Ptr< rw::pathplanning::QSampler > | sampler, | 
| rw::pathplanning::QToQPlanner::Ptr | localPlanner, | ||
| int | nodeCnt, | ||
| int | repeatCnt | ||
| ) | 
Constructor.
| sampler | [in] Sampler of the configuration space. | 
| localPlanner | [in] Local planner for connecting the configurations. | 
| nodeCnt | [in] Number of supporting configurations to insert. If nodeCnt is negative, a default value is chosen. | 
| repeatCnt | [in] Number of times to repeat the attempt. If repeatCnt is negative, the attempts are repeated forever (or until the stop criteria returns true). |