.. _program_listing_file__tmp_ws_src_ros2_planning_system_plansys2_pddl_parser_include_plansys2_pddl_parser_Lifted.h:

Program Listing for File Lifted.h
=================================

|exhale_lsh| :ref:`Return to documentation for file <file__tmp_ws_src_ros2_planning_system_plansys2_pddl_parser_include_plansys2_pddl_parser_Lifted.h>` (``/tmp/ws/src/ros2_planning_system/plansys2_pddl_parser/include/plansys2_pddl_parser/Lifted.h``)

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

.. code-block:: cpp

   
   #pragma once
   
   #include "plansys2_msgs/msg/node.hpp"
   #include "plansys2_msgs/msg/tree.hpp"
   
   #include "plansys2_pddl_parser/ParamCond.h"
   
   namespace parser { namespace pddl {
   
   class Lifted : public ParamCond {
   
   public:
   
       Lifted() {}
   
       Lifted( const std::string & s )
           : ParamCond( s ) {}
   
       Lifted( const ParamCond * c )
           : ParamCond( c ) {}
   
       void PDDLPrint( std::ostream & s, unsigned indent, const TokenStruct< std::string > & ts, const Domain & d ) const override;
   
       plansys2_msgs::msg::Node::SharedPtr getTree( plansys2_msgs::msg::Tree & tree, const Domain & d, const std::vector<std::string> & replace = {} ) const override;
   
       void parse( Stringreader & f, TokenStruct< std::string > & ts, Domain & d );
   
       void addParams( int m, unsigned n ) {}
   
       Condition * copy( Domain & d ) {
           return new Lifted( this );
       }
   
   };
   
   typedef std::vector< Lifted * > LiftedVec;
   
   } } // namespaces