.. _program_listing_file_src_VALfiles_InstPropLinker.h:

Program Listing for File InstPropLinker.h
=========================================

|exhale_lsh| :ref:`Return to documentation for file <file_src_VALfiles_InstPropLinker.h>` (``src/VALfiles/InstPropLinker.h``)

.. |exhale_lsh| unicode:: U+021B0 .. UPWARDS ARROW WITH TIP LEFTWARDS

.. code-block:: cpp

   /************************************************************************
    * Copyright 2008, Strathclyde Planning Group,
    * Department of Computer and Information Sciences,
    * University of Strathclyde, Glasgow, UK
    * http://planning.cis.strath.ac.uk/
    *
    * Maria Fox, Richard Howey and Derek Long - VAL
    * Stephen Cresswell - PDDL Parser
    *
    * This file is part of VAL, the PDDL validator.
    *
    * VAL is free software: you can redistribute it and/or modify
    * it under the terms of the GNU General Public License as published by
    * the Free Software Foundation, either version 2 of the License, or
    * (at your option) any later version.
    *
    * VAL is distributed in the hope that it will be useful,
    * but WITHOUT ANY WARRANTY; without even the implied warranty of
    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    * GNU General Public License for more details.
    *
    * You should have received a copy of the GNU General Public License
    * along with VAL.  If not, see <http://www.gnu.org/licenses/>.
    *
    ************************************************************************/
   
   #ifndef __LITERALPROPLINK
   #define __LITERALPROPLINK
   
   namespace VAL {
   class SimpleProposition;
   class Environment;
   };
   
   namespace Inst {
   
   class Literal;
   class instantiatedOp;
   
   Literal * toLiteral(const VAL::SimpleProposition *);
   VAL::Environment toEnv(instantiatedOp * op);
   
   };
   
   #endif