Commit 9f4ea3d3 authored by Alejandro Suarez Hernandez's avatar Alejandro Suarez Hernandez
Browse files

added constructor for instantiating Domain wo Ades database

parent a47898cd
......@@ -67,6 +67,9 @@ class Domain : public Stringifiable
Domain(const std::string& name="", const std::string& ades_db="",
std::size_t version_db=0);
Domain(const std::vector<Operator>& ops, const std::string& name="") :
name_(name), ades_db_(""), version_db_(0), ops_(ops) {}
virtual std::string to_str() const override;
const std::string& get_ades_db() const { return ades_db_; }
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment