index be351b70ea70092709155aa9b1c2e750d95e7ceb..039354d5b5c120737498795f9267a65babea13ca 100644 (file)
--- a/store.h
+++ b/store.h
#include <domain.h>
#include <string>
+#include <vector>
namespace odc {
+ class TypePath : public std::vector<std::string> {
+ public:
+ std::string toString() const;
+ };
+
/**
* TYPE Store
* ABSTRACT