Randward.hpp

Go to the documentation of this file.

#ifndef PDDL_PLANNER_RANDWARD_HPP
#define PDDL_PLANNER_RANDWARD_HPP

#include <pddl_planner/PDDLPlannerInterface.hpp>

namespace pddl_planner
{
namespace randward
{
    class Planner : public PDDLPlannerInterface
    {
    public:
        std::string getName() const { return "RANDWARD"; }

        
        std::string getCmd() const { return "randward-planner"; }

        int getVersion() const { return 1; }

        Planner(const std::string& resultFileBasename = "plan");

        PlanCandidates plan(const std::string& problem, const std::string& actionDescriptions, const std::string& domainDescriptions, double timeout);

    private:
        PlanCandidates generatePlanCandidates();
    };
}
}


#endif // PDDL_PLANNER_RANDWARD_HPP