project.hh

#pragma once
 
#include <clingo/input/program.hh>
 
#include <clingo/util/unordered_map.hh>
 
namespace CppClingo::Input {
 
 
class ProjectionMap {
  public:
    explicit ProjectionMap(ProjectionMode mode, Util::unordered_map<String, size_t> const &counts)
        : counts_{&counts}, mode_{mode} {};
    [[nodiscard]] auto projectable(String const &var, bool anonymous) const -> bool;
    [[nodiscard]] auto counts() const -> Util::unordered_map<String, size_t> const &;
    [[nodiscard]] auto mode() const -> ProjectionMode;
 
  private:
    Util::unordered_map<String, size_t> const *counts_;
    ProjectionMode mode_;
};
 
[[nodiscard]] auto project(Term const &term, ProjectionMap project) -> std::optional<Term>;
 
[[nodiscard]] auto project(Lit const &lit, ProjectionMap project) -> std::optional<Lit>;
 
[[nodiscard]] auto project(HdLit const &lit, ProjectionMap project) -> std::optional<HdLit>;
 
[[nodiscard]] auto project(BdLit const &lit, ProjectionMap project, bool in_classical_scope) -> std::optional<BdLit>;
 
[[nodiscard]] auto project(RewriteOptions const &opts, Stm const &stm) -> std::optional<Stm>;
 
 
} // namespace CppClingo::Input