datalog_fact_database.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <cstddef>
#include <unordered_set>
 
#include "pulsatrix/datalog_atom.hpp"
 
namespace pulsatrix::datalog {
 
using FactSet = std::unordered_set<Atom, AtomHash>;
 
class FactDatabase {
public:
    FactDatabase() = default;
    explicit FactDatabase(FactSet facts);
 
    bool insert(Atom fact);
 
    [[nodiscard]] bool contains(const Atom& fact) const { return facts_.find(fact) != facts_.end(); }
    [[nodiscard]] std::size_t size() const { return facts_.size(); }
    [[nodiscard]] bool empty() const { return facts_.empty(); }
    [[nodiscard]] const FactSet& facts() const { return facts_; }
 
    [[nodiscard]] bool operator==(const FactDatabase& other) const { return facts_ == other.facts_; }
    [[nodiscard]] bool operator!=(const FactDatabase& other) const { return !(*this == other); }
 
private:
    FactSet facts_;
};
 
}  // namespace pulsatrix::datalog