ompl/control/planners/ltl/LTLSpaceInformation.h
00001 /********************************************************************* 00002 * Software License Agreement (BSD License) 00003 * 00004 * Copyright (c) 2013, Rice University 00005 * All rights reserved. 00006 * 00007 * Redistribution and use in source and binary forms, with or without 00008 * modification, are permitted provided that the following conditions 00009 * are met: 00010 * 00011 * * Redistributions of source code must retain the above copyright 00012 * notice, this list of conditions and the following disclaimer. 00013 * * Redistributions in binary form must reproduce the above 00014 * copyright notice, this list of conditions and the following 00015 * disclaimer in the documentation and/or other materials provided 00016 * with the distribution. 00017 * * Neither the name of the Rice University nor the names of its 00018 * contributors may be used to endorse or promote products derived 00019 * from this software without specific prior written permission. 00020 * 00021 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 00022 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 00023 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS 00024 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE 00025 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, 00026 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, 00027 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 00028 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 00029 * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 00030 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN 00031 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 00032 * POSSIBILITY OF SUCH DAMAGE. 00033 *********************************************************************/ 00034 00035 /* Author: Matt Maly */ 00036 00037 #ifndef OMPL_CONTROL_PLANNERS_LTL_LTLSPACEINFORMATION_ 00038 #define OMPL_CONTROL_PLANNERS_LTL_LTLSPACEINFORMATION_ 00039 00040 #include "ompl/base/spaces/DiscreteStateSpace.h" 00041 #include "ompl/control/SpaceInformation.h" 00042 #include "ompl/control/planners/ltl/ProductGraph.h" 00043 00044 namespace ompl 00045 { 00046 namespace control 00047 { 00049 00050 OMPL_CLASS_FORWARD(LTLSpaceInformation); 00052 00055 class LTLSpaceInformation : public SpaceInformation 00056 { 00057 public: 00058 LTLSpaceInformation(const SpaceInformationPtr& si, const ProductGraphPtr& prod); 00059 00060 virtual ~LTLSpaceInformation(void) {} 00061 00062 virtual void setup(void); 00063 00064 const ProductGraphPtr& getProductGraph(void) const { return prod_; } 00065 00066 const SpaceInformationPtr& getLowSpace() { return lowSpace_; } 00067 00068 void getFullState(const base::State* low, base::State* full); 00069 00070 base::State* getLowLevelState(base::State* s); 00071 const base::State* getLowLevelState(const base::State* s); 00072 00073 ProductGraph::State* getProdGraphState(const base::State* s) const; 00074 00075 protected: 00076 enum SpaceIndex { LOW_LEVEL = 0, REGION = 1, COSAFE = 2, SAFE = 3 }; 00077 // Creates a new state propagator which uses the user-defined propagator 00078 // defined in low state space, followed by automaton-defined transition rules 00079 // for the co-safe and safe automata in prod. 00080 void extendPropagator(const SpaceInformationPtr& oldsi); 00081 00082 // Creates a new state validity checker which uses the user-defined validity checker 00083 // defined in low state space and also checks for valid states in the automata in prod. 00084 void extendValidityChecker(const SpaceInformationPtr& oldsi); 00085 00086 ProductGraphPtr prod_; 00087 SpaceInformationPtr lowSpace_; 00088 }; 00089 } 00090 } 00091 00092 #endif