Program Listing for File Forall.h

↰ Return to documentation for file (/tmp/ws/src/ros2_planning_system/plansys2_pddl_parser/include/plansys2_pddl_parser/Forall.h)

#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