RobWorkProject  23.9.11-
Public Member Functions | List of all members
Z3QToQPlanner Class Reference

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::PropertyMapgetProperties ()
 Property map for the planner.
 
const core::PropertyMapgetProperties () const
 Property map for the planner.
 

Additional Inherited Members

- Public Types inherited from QToQPlanner
typedef rw::core::Ptr< QToQPlannerPtr
 smart pointer type to this class
 
typedef rw::core::Ptr< const QToQPlannerCPtr
 smart pointer type to this const class
 
- Public Types inherited from PathPlanner< rw::math::Q, const rw::math::Q >
typedef rw::core::Ptr< PathPlannerPtr
 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.
 

Detailed Description

Z3 based point-to-point planner.

Constructor & Destructor Documentation

◆ Z3QToQPlanner()

Z3QToQPlanner ( rw::core::Ptr< rw::pathplanning::QSampler sampler,
rw::pathplanning::QToQPlanner::Ptr  localPlanner,
int  nodeCnt,
int  repeatCnt 
)

Constructor.

Parameters
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).

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