X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=planner.h;h=ab8f4ee27774f4df9e13283a67b1c744619a18f5;hb=7b9821d42d980e5788bbc65563973eddd6e4c40d;hp=c74d536b5e5d03ac7f439921bd06a6793c2b715b;hpb=b177aeec472c3941b39b874a83883ff87a41919c;p=popboot.git diff --git a/planner.h b/planner.h index c74d536..ab8f4ee 100644 --- a/planner.h +++ b/planner.h @@ -39,6 +39,9 @@ size_t operator()(const std::basic_string& s) const { class Planner { public: Planner(std::vector actions, literals init, literals goal); + ~Planner(); + + void execute(); protected: