DiscreteStateSpace.h
1 /*********************************************************************
2 * Software License Agreement (BSD License)
3 *
4 * Copyright (c) 2011, Rice University
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 Rice University 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 /* Author: Elizabeth Fudge */
36 
37 #ifndef OMPL_BASE_SPACES_DISCRETE_STATE_SPACE_
38 #define OMPL_BASE_SPACES_DISCRETE_STATE_SPACE_
39 
40 #include "ompl/base/StateSpace.h"
41 
42 namespace ompl
43 {
44  namespace base
45  {
46 
49  {
50  public:
51 
54  {
55  }
56 
57  virtual void sampleUniform(State *state);
58  virtual void sampleUniformNear(State *state, const State *near, const double distance);
59  virtual void sampleGaussian(State *state, const State *mean, const double stdDev);
60  };
61 
70  {
71  public:
72 
74  class StateType : public State
75  {
76  public:
77 
79  int value;
80  };
81 
83  DiscreteStateSpace(int lowerBound, int upperBound) : StateSpace(), lowerBound_(lowerBound), upperBound_(upperBound)
84  {
85  setName("Discrete" + getName());
87  }
88 
89  virtual ~DiscreteStateSpace()
90  {
91  }
92 
93  virtual bool isDiscrete() const;
94 
95  virtual unsigned int getDimension() const;
96 
97  virtual double getMaximumExtent() const;
98 
99  virtual double getMeasure() const;
100 
101  virtual void enforceBounds(State *state) const;
102 
103  virtual bool satisfiesBounds(const State *state) const;
104 
105  virtual unsigned int getSerializationLength() const;
106 
107  virtual void serialize(void *serialization, const State *state) const;
108 
109  virtual void deserialize(State *state, const void *serialization) const;
110 
111  virtual void copyState(State *destination, const State *source) const;
112 
113  virtual double distance(const State *state1, const State *state2) const;
114 
115  virtual bool equalStates(const State *state1, const State *state2) const;
116 
117  virtual void interpolate(const State *from, const State *to, const double t, State *state) const;
118 
119  virtual StateSamplerPtr allocDefaultStateSampler() const;
120 
121  virtual State* allocState() const;
122 
123  virtual void freeState(State *state) const;
124 
125  virtual void printState(const State *state, std::ostream &out) const;
126 
127  virtual void printSettings(std::ostream &out) const;
128 
129  virtual void registerProjections();
130 
132  unsigned int getStateCount() const
133  {
134  return upperBound_ - lowerBound_ + 1;
135  }
136 
138  int getLowerBound() const
139  {
140  return lowerBound_;
141  }
142 
144  int getUpperBound() const
145  {
146  return upperBound_;
147  }
148 
150  void setBounds(int lowerBound, int upperBound)
151  {
152  lowerBound_ = lowerBound;
153  upperBound_ = upperBound;
154  }
155 
156  virtual void setup();
157 
158  protected:
159 
162 
165  };
166  }
167 }
168 
169 #endif
void setName(const std::string &name)
Set the name of the state space.
Definition: StateSpace.cpp:203
int type_
A type assigned for this state space.
Definition: StateSpace.h:503
ompl::base::DiscreteStateSpace
int lowerBound_
The lowest integer state.
virtual void sampleUniform(State *state)
Sample a state.
virtual void copyState(State *destination, const State *source) const
Copy a state to another. The memory of source and destination should NOT overlap. ...
The definition of a discrete state.
virtual unsigned int getDimension() const
Get the dimension of the space (not the dimension of the surrounding ambient space) ...
virtual void sampleGaussian(State *state, const State *mean, const double stdDev)
Sample a state using a Gaussian distribution with given mean and standard deviation (stdDev) ...
virtual bool equalStates(const State *state1, const State *state2) const
Checks whether two states are equal.
virtual unsigned int getSerializationLength() const
Get the number of chars in the serialization of a state in this space.
virtual void setup()
Perform final setup steps. This function is automatically called by the SpaceInformation. If any default projections are to be registered, this call will set them and call their setup() functions. It is safe to call this function multiple times. At a subsequent call, projections that have been previously user configured are not re-instantiated, but their setup() method is still called.
virtual void deserialize(State *state, const void *serialization) const
Read the binary representation of a state from serialization and write it to state.
virtual double distance(const State *state1, const State *state2) const
Computes distance between two states. This function satisfies the properties of a metric if isMetricS...
virtual void enforceBounds(State *state) const
Bring the state within the bounds of the state space. For unbounded spaces this function can be a no-...
virtual void sampleUniformNear(State *state, const State *near, const double distance)
Sample a state near another, within specified distance.
virtual State * allocState() const
Allocate a state that can store a point in the described space.
virtual void printState(const State *state, std::ostream &out) const
Print a state to a stream.
virtual double getMeasure() const
Get a measure of the space (this can be thought of as a generalization of volume) ...
Main namespace. Contains everything in this library.
Definition: Cost.h:42
virtual StateSamplerPtr allocDefaultStateSampler() const
Allocate an instance of the default uniform state sampler for this space.
virtual double getMaximumExtent() const
Get the maximum value a call to distance() can return (or an upper bound). For unbounded state spaces...
virtual void interpolate(const State *from, const State *to, const double t, State *state) const
Computes the state that lies at time t in [0, 1] on the segment that connects from state to to state...
void setBounds(int lowerBound, int upperBound)
Set the bounds for the states in this space (the states will be in the set [lowerBound, upperBound].
virtual bool isDiscrete() const
Check if the set of states is discrete.
State space sampler for discrete states.
Representation of a space in which planning can be performed. Topology specific sampling, interpolation and distance are defined.
Definition: StateSpace.h:73
virtual bool satisfiesBounds(const State *state) const
Check if a state is inside the bounding box. For unbounded spaces this function can always return tru...
int getUpperBound() const
Returns the highest possible state.
Definition of an abstract state.
Definition: State.h:50
virtual void printSettings(std::ostream &out) const
Print the settings for this state space to a stream.
DiscreteStateSpace(int lowerBound, int upperBound)
Construct a discrete space in wich states can take values in the set [lowerBound, upperBound]...
DiscreteStateSampler(const StateSpace *space)
Constructor.
int getLowerBound() const
Returns the lowest possible state.
A space representing discrete states; i.e. there are a small number of discrete states the system can...
const std::string & getName() const
Get the name of the state space.
Definition: StateSpace.cpp:198
Abstract definition of a state space sampler.
Definition: StateSampler.h:66
int upperBound_
The highest integer state.
virtual void serialize(void *serialization, const State *state) const
Write the binary representation of state to serialization.
int value
The current state - an int in range [lowerBound, upperBound].
unsigned int getStateCount() const
Returns the number of states possible.
virtual void freeState(State *state) const
Free the memory of the allocated state.
virtual void registerProjections()
Register the projections for this state space. Usually, this is at least the default projection...