.. _program_listing_file__tmp_ws_src_ros2_planning_system_plansys2_pddl_parser_include_plansys2_pddl_parser_Forall.h:

Program Listing for File Forall.h
=================================

|exhale_lsh| :ref:`Return to documentation for file <file__tmp_ws_src_ros2_planning_system_plansys2_pddl_parser_include_plansys2_pddl_parser_Forall.h>` (``/tmp/ws/src/ros2_planning_system/plansys2_pddl_parser/include/plansys2_pddl_parser/Forall.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 Forall : public ParamCond {
   
   public:
       Condition * cond;
   
       Forall()
           : cond( 0 ) {}
   
       Forall( const Forall * f, Domain & d )
           : ParamCond( f ), cond( 0 ) {
           if ( f->cond ) cond = f->cond->copy( d );
       }
   
       ~Forall() {
           if ( cond ) delete cond;
       }
   
       void print( std::ostream & s ) const {
           s << "Forall" << params << ":\n";
           if ( cond ) cond->print( s );
       }
   
       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 ) {
           cond->addParams( m, n );
       }
   
       Condition * copy( Domain & d ) {
           return new Forall( this, d );
       }
   
   };
   
   } } // namespaces