program.hh

#pragma once
 
#include <clingo/ground/statement.hh>
 
#include <clingo/util/enum.hh>
 
namespace CppClingo::Ground {
 
 
class Component {
  public:
    Component(bool domain) : domain_{domain} {}
    void add(UStm stm) { stms_.emplace_back(std::move(stm)); }
    [[nodiscard]] auto stms() const -> UStmVec const & { return stms_; }
    [[nodiscard]] auto domain() const -> bool { return domain_; }
 
  private:
    UStmVec stms_;
    bool domain_;
};
 
 
} // namespace CppClingo::Ground