16 #define RAPIDJSON_HAS_STDSTRING 1
17 #include "GroundedFormula.h"
19 #include <rapidjson/fwd.h>
58 virtual std::string
to_json(
bool pretty =
false)
const;
63 virtual void to_json_value(rapidjson::Document &d, rapidjson::Value &v)
const;
69 virtual void from_json(
const std::string &json);
85 virtual void validate(
bool subcall =
false)
const;
92 std::optional<std::string>
109 std::optional<std::string>
126 std::optional<std::string>
143 std::optional<std::string>
163 return is_satisfied_;
177 std::vector<std::string>
212 std::vector<std::string>
215 return param_values_;
247 std::vector<std::string>
250 return param_constants_;
282 std::vector<std::shared_ptr<GroundedFormula>>
302 child_.push_back(std::move(
child));
312 child_.push_back(
child);
320 child_.push_back(std::make_shared<GroundedFormula>(std::move(
child)));
324 std::optional<std::string> kind_;
325 std::optional<std::string> apiVersion_;
326 std::optional<std::string> name_;
327 std::optional<std::string> type_;
328 std::optional<bool> is_satisfied_;
329 std::vector<std::string> param_names_;
330 std::vector<std::string> param_values_;
331 std::vector<std::string> param_constants_;
332 std::vector<std::shared_ptr<GroundedFormula>> child_;