14 #include "GroundedPDDLFormula.h"
16 #include <rapidjson/document.h>
17 #include <rapidjson/prettywriter.h>
18 #include <rapidjson/stringbuffer.h>
19 #include <rapidjson/writer.h>
45 rapidjson::Document d;
49 rapidjson::StringBuffer buffer;
51 rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(buffer);
54 rapidjson::Writer<rapidjson::StringBuffer> writer(buffer);
58 return buffer.GetString();
64 rapidjson::Document::AllocatorType &allocator = d.GetAllocator();
70 rapidjson::Value v_kind;
71 v_kind.SetString(*kind_, allocator);
72 v.AddMember(
"kind", v_kind, allocator);
75 rapidjson::Value v_apiVersion;
76 v_apiVersion.SetString(*apiVersion_, allocator);
77 v.AddMember(
"apiVersion", v_apiVersion, allocator);
80 rapidjson::Value v_id;
81 v_id.SetString(*id_, allocator);
82 v.AddMember(
"id", v_id, allocator);
85 rapidjson::Value v_formula_id;
86 v_formula_id.SetString(*formula_id_, allocator);
87 v.AddMember(
"formula-id", v_formula_id, allocator);
90 rapidjson::Value v_grounding;
91 v_grounding.SetString(*grounding_, allocator);
92 v.AddMember(
"grounding", v_grounding, allocator);
95 rapidjson::Value v_is_satisfied;
96 v_is_satisfied.SetBool(*is_satisfied_);
97 v.AddMember(
"is-satisfied", v_is_satisfied, allocator);
104 rapidjson::Document d;
113 if (d.HasMember(
"kind") && d[
"kind"].IsString()) {
114 kind_ = d[
"kind"].GetString();
116 if (d.HasMember(
"apiVersion") && d[
"apiVersion"].IsString()) {
117 apiVersion_ = d[
"apiVersion"].GetString();
119 if (d.HasMember(
"id") && d[
"id"].IsString()) {
120 id_ = d[
"id"].GetString();
122 if (d.HasMember(
"formula-id") && d[
"formula-id"].IsString()) {
123 formula_id_ = d[
"formula-id"].GetString();
125 if (d.HasMember(
"grounding") && d[
"grounding"].IsString()) {
126 grounding_ = d[
"grounding"].GetString();
128 if (d.HasMember(
"is-satisfied") && d[
"is-satisfied"].IsBool()) {
129 is_satisfied_ = d[
"is-satisfied"].GetBool();
136 std::vector<std::string> missing;
138 missing.push_back(
"kind");
141 missing.push_back(
"apiVersion");
144 missing.push_back(
"id");
147 missing.push_back(
"formula-id");
150 missing.push_back(
"grounding");
152 if (!is_satisfied_) {
153 missing.push_back(
"is-satisfied");
156 if (!missing.empty()) {
161 std::accumulate(std::next(missing.begin()),
164 [](std::string &s,
const std::string &n) { return s +
", " + n; });
165 throw std::runtime_error(
"GroundedPDDLFormula is missing " + s);