PathLengthDirectInfSampler.h
1 /*********************************************************************
2 * Software License Agreement (BSD License)
3 *
4 * Copyright (c) 2014, University of Toronto
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 *
11 * * Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * * Redistributions in binary form must reproduce the above
14 * copyright notice, this list of conditions and the following
15 * disclaimer in the documentation and/or other materials provided
16 * with the distribution.
17 * * Neither the name of the University of Toronto nor the names of its
18 * contributors may be used to endorse or promote products derived
19 * from this software without specific prior written permission.
20 *
21 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
24 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
25 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
27 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
28 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
29 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
31 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
32 * POSSIBILITY OF SUCH DAMAGE.
33 *********************************************************************/
34 
35 /* Authors: Jonathan Gammell */
36 
37 #ifndef OMPL_BASE_SAMPLERS_INFORMED_PATH_LENGTH_DIRECT_INFORMED_SAMPLER_
38 #define OMPL_BASE_SAMPLERS_INFORMED_PATH_LENGTH_DIRECT_INFORMED_SAMPLER_
39 
40 #include <ompl/config.h>
41 #if !OMPL_HAVE_EIGEN3
42 #error The PathLengthDirectInfSampler class uses Eigen3, which was not detected at build time.
43 #endif
44 
45 // We inherit from InformedStateSampler
46 #include "ompl/base/samplers/InformedStateSampler.h"
47 
48 // For std::list
49 #include <list>
50 
51 namespace ompl
52 {
53  namespace base
54  {
81  {
82  public:
83 
85  PathLengthDirectInfSampler(const ProblemDefinitionPtr probDefn, unsigned int maxNumberCalls);
86  virtual ~PathLengthDirectInfSampler();
87 
89  virtual bool sampleUniform(State *statePtr, const Cost &maxCost);
90 
92  virtual bool sampleUniform(State *statePtr, const Cost &minCost, const Cost &maxCost);
93 
95  virtual bool hasInformedMeasure() const;
96 
98  virtual double getInformedMeasure(const Cost &currentCost) const;
99 
101  virtual Cost heuristicSolnCost(const State *statePtr) const;
102 
103  private:
105  typedef std::shared_ptr<const ompl::ProlateHyperspheroid> ProlateHyperspheroidCPtr;
106 
107  // Helper functions:
108  // High level
110  bool sampleUniform(State *statePtr, const Cost &maxCost, unsigned int *iters);
111 
113  bool sampleBoundsRejectPhs(State* statePtr, unsigned int *iters);
114 
116  bool samplePhsRejectBounds(State *statePtr, unsigned int *iters);
117 
118  // Low level
120  std::vector<double> getInformedSubstate(const State *statePtr) const;
121 
123  void createFullState(State * statePtr, const std::vector<double> &informedVector);
124 
126  void updatePhsDefinitions(const Cost &maxCost);
127 
129  ompl::ProlateHyperspheroidPtr randomPhsPtr();
130 
132  bool keepSample(const std::vector<double>& informedVector);
133 
135  bool isInAnyPhs(const std::vector<double>& informedVector) const;
136 
138  bool isInPhs(const ProlateHyperspheroidCPtr &phsCPtr, const std::vector<double> &informedVector) const;
139 
141  unsigned int numberOfPhsInclusions(const std::vector<double>& informedVector) const;
142 
143 
144 
145 
146 
147  // Variables
149  std::list<ompl::ProlateHyperspheroidPtr> listPhsPtrs_;
150 
152  double summedMeasure_;
153 
155  unsigned int informedIdx_;
156 
158  StateSpacePtr informedSubSpace_;
159 
161  unsigned int uninformedIdx_;
162 
164  StateSpacePtr uninformedSubSpace_;
165 
167  StateSamplerPtr baseSampler_;
168 
170  StateSamplerPtr uninformedSubSampler_;
171 
173  RNG rng_;
174  }; // PathLengthDirectInfSampler
175  }
176 }
177 
178 
179 #endif // OMPL_BASE_SAMPLERS_INFORMED_DIRECT_PATH_LENGTH_INFORMED_SAMPLER_
A shared pointer wrapper for ompl::base::ProblemDefinition.
A shared pointer wrapper for ompl::base::StateSpace.
A shared pointer wrapper for ompl::base::StateSampler.
virtual Cost heuristicSolnCost(const State *statePtr) const
A helper function to calculate the heuristic estimate of the solution cost for the informed subset of...
An abstract class for the concept of using information about the state space and the current solution...
PathLengthDirectInfSampler(const ProblemDefinitionPtr probDefn, unsigned int maxNumberCalls)
Construct a sampler that only generates states with a heuristic solution estimate that is less than t...
virtual bool sampleUniform(State *statePtr, const Cost &maxCost)
Sample uniformly in the subset of the state space whose heuristic solution estimates are less than th...
Main namespace. Contains everything in this library.
Definition: Cost.h:42
Random number generation. An instance of this class cannot be used by multiple threads at once (membe...
Definition: RandomNumbers.h:58
virtual bool hasInformedMeasure() const
Whether the sampler can provide a measure of the informed subset.
An informed sampler for problems seeking to minimize path length.
Definition of an abstract state.
Definition: State.h:50
virtual double getInformedMeasure(const Cost &currentCost) const
The measure of the subset of the state space defined by the current solution cost that is being searc...
Definition of a cost value. Can represent the cost of a motion or the cost of a state.
Definition: Cost.h:47