FastDownward.hpp

Go to the documentation of this file.

#ifndef PDDL_PLANNER_FASTDOWNWARD_HPP
#define PDDL_PLANNER_FASTDOWNWARD_HPP

#include <pddl_planner/PDDLPlannerInterface.hpp>

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

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

        int getVersion() const { return 1; }

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

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

    private:
        PlanCandidates generatePlanCandidates();
        
        std::string mAlias;
    };
} 
}


#endif // PDDL_PLANNER_FASTDOWNWARD_HPP