Class DomainReader

Defined in File DomainReader.hpp

Class Documentation

class DomainReader

Public Functions

DomainReader()

void add_domain(const std::string &domain)

std::string get_joint_domain() const

inline std::vector<Domain> get_domains()

Protected Functions

int get_end_block(const std::string &domain, std::size_t init_pos)

std::string get_name(std::string &domain)

std::string get_requirements(std::string &domain)

std::string get_types(const std::string &domain)

std::string get_constants(const std::string &domain)

std::string get_predicates(const std::string &domain)

std::string get_functions(const std::string &domain)

std::vector<std::string> get_derived_predicates(const std::string &domain)

std::vector<std::string> get_actions(const std::string &domain)