space_register.hpp

 
#ifndef EXATN_NUMERICS_SPACE_REGISTER_HPP_
#define EXATN_NUMERICS_SPACE_REGISTER_HPP_
 
#include "tensor_basic.hpp"
#include "spaces.hpp"
 
#include <memory>
#include <string>
#include <vector>
#include <unordered_map>
 
namespace exatn{
 
namespace numerics{
 
class SubspaceRegEntry{
public:
 
 SubspaceRegEntry(std::shared_ptr<Subspace> subspace);
 
 SubspaceRegEntry(const SubspaceRegEntry &) = default;
 SubspaceRegEntry & operator=(const SubspaceRegEntry &) = default;
 SubspaceRegEntry(SubspaceRegEntry &&) noexcept = default;
 SubspaceRegEntry & operator=(SubspaceRegEntry &&) noexcept = default;
 ~SubspaceRegEntry() = default;
 
 friend class SubspaceRegister;
 
private:
 
 std::shared_ptr<Subspace> subspace_; //registered subspace of a vector space (owned by RegEntry)
};
 
 
class SubspaceRegister{
public:
 
 SubspaceRegister() = default;
 
 SubspaceRegister(const SubspaceRegister &) = delete;
 SubspaceRegister & operator=(const SubspaceRegister &) = delete;
 SubspaceRegister(SubspaceRegister &&) noexcept = default;
 SubspaceRegister & operator=(SubspaceRegister &&) noexcept = default;
 ~SubspaceRegister() = default;
 
 SubspaceId registerSubspace(std::shared_ptr<Subspace> subspace);
 
 const Subspace * getSubspace(SubspaceId id) const;
 const Subspace * getSubspace(const std::string & name) const;
 
private:
 
 std::vector<SubspaceRegEntry> subspaces_; //registered subspaces of some vector space
 std::unordered_map<std::string,SubspaceId> name2id_; //maps subspace names to their integer ids
};
 
 
class SpaceRegEntry{
public:
 
 SpaceRegEntry(std::shared_ptr<VectorSpace> space);
 
 SpaceRegEntry(const SpaceRegEntry &) = delete;
 SpaceRegEntry & operator=(const SpaceRegEntry &) = delete;
 SpaceRegEntry(SpaceRegEntry &&) noexcept = default;
 SpaceRegEntry & operator=(SpaceRegEntry &&) noexcept = default;
 ~SpaceRegEntry() = default;
 
 friend class SpaceRegister;
 
private:
 
 std::shared_ptr<VectorSpace> space_; //registered vector space (owned by RegEntry)
 SubspaceRegister subspaces_;         //subspace register for this vector space
};
 
 
class SpaceRegister{
public:
 
 SpaceRegister();
 
 SpaceRegister(const SpaceRegister &) = delete;
 SpaceRegister & operator=(const SpaceRegister &) = delete;
 SpaceRegister(SpaceRegister &&) noexcept = default;
 SpaceRegister & operator=(SpaceRegister &&) noexcept = default;
 ~SpaceRegister() = default;
 
 SpaceId registerSpace(std::shared_ptr<VectorSpace> space);
 
 const VectorSpace * getSpace(SpaceId id) const;
 const VectorSpace * getSpace(const std::string & name) const;
 
 SubspaceId registerSubspace(std::shared_ptr<Subspace> subspace);
 
 const Subspace * getSubspace(const std::string & space_name,
                              const std::string & subspace_name) const;
 
private:
 
 std::vector<SpaceRegEntry> spaces_; //registered vector spaces
 std::unordered_map<std::string,SpaceId> name2id_; //maps vector space names to their integer ids
};
 
} //namespace numerics
 
} //namespace exatn
 
#endif //EXATN_NUMERICS_SPACE_REGISTER_HPP_