LTLSpaceInformation.h
1 /*********************************************************************
2 * Software License Agreement (BSD License)
3 *
4 * Copyright (c) 2013, 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: Matt Maly */
36 
37 #ifndef OMPL_CONTROL_PLANNERS_LTL_LTLSPACEINFORMATION_
38 #define OMPL_CONTROL_PLANNERS_LTL_LTLSPACEINFORMATION_
39 
40 #include "ompl/base/spaces/DiscreteStateSpace.h"
41 #include "ompl/control/SpaceInformation.h"
42 #include "ompl/control/planners/ltl/ProductGraph.h"
43 
44 namespace ompl
45 {
46  namespace control
47  {
49 
50  OMPL_CLASS_FORWARD(LTLSpaceInformation);
52 
55  class LTLSpaceInformation : public SpaceInformation
56  {
57  public:
58  LTLSpaceInformation(const SpaceInformationPtr &si, const ProductGraphPtr &prod);
59 
60  ~LTLSpaceInformation() override = default;
61 
62  void setup() override;
63 
64  const ProductGraphPtr &getProductGraph() const
65  {
66  return prod_;
67  }
68 
69  const SpaceInformationPtr &getLowSpace()
70  {
71  return lowSpace_;
72  }
73 
74  void getFullState(const base::State *low, base::State *full);
75 
76  base::State *getLowLevelState(base::State *s);
77  const base::State *getLowLevelState(const base::State *s);
78 
79  ProductGraph::State *getProdGraphState(const base::State *s) const;
80 
81  protected:
82  enum SpaceIndex
83  {
84  LOW_LEVEL = 0,
85  REGION = 1,
86  COSAFE = 2,
87  SAFE = 3
88  };
89  // Creates a new state propagator which uses the user-defined propagator
90  // defined in low state space, followed by automaton-defined transition rules
91  // for the co-safe and safe automata in prod.
92  void extendPropagator(const SpaceInformationPtr &oldsi);
93 
94  // Creates a new state validity checker which uses the user-defined validity checker
95  // defined in low state space and also checks for valid states in the automata in prod.
96  void extendValidityChecker(const SpaceInformationPtr &oldsi);
97 
98  ProductGraphPtr prod_;
99  SpaceInformationPtr lowSpace_;
100  };
101  }
102 }
103 
104 #endif
A shared pointer wrapper for ompl::base::SpaceInformation.
A shared pointer wrapper for ompl::control::ProductGraph.
void setup() override
Perform additional setup tasks (run once, before use). If state validity checking resolution has not ...
Main namespace. Contains everything in this library.
Definition: AppBase.h:21