Program Listing for File Lifted.h

↰ Return to documentation for file (/tmp/ws/src/ros2_planning_system/plansys2_pddl_parser/include/plansys2_pddl_parser/Lifted.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 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