prop.hpp

Go to the documentation of this file.

#include "tag/tag.hpp"

#ifndef TAG_PROP_HPP
#define TAG_PROP_HPP

namespace tag
{

const std::string commutative_tag = "commutative";

const std::string immutable_tag = "immutable";

struct PropTag final : public iTag
{
    PropTag (std::string init_label) : labels_({init_label}) {}

    size_t tag_id (void) const override
    {
        return tag_id_;
    }

    void absorb (TagptrT&& other) override
    {
        std::unordered_set<std::string>& olabels =
            static_cast<PropTag*>(other.get())->labels_;
        labels_.insert(olabels.begin(), olabels.end());
    }

    TagRepsT get_tags (void) const override;

private:
    std::unordered_set<std::string> labels_;

    static size_t tag_id_;
};

struct PropertyRegistry final
{
    PropertyRegistry (TagRegistry& registry = get_reg()) :
        tag_reg_(registry) {}

    void property_tag (teq::TensrefT tens, std::string property)
    {
        tag_reg_.add_tag(tens, TagptrT(new PropTag(property)));
    }

    bool has_property (const teq::iTensor* tens, std::string property) const;

    TagRegistry& tag_reg_;
};

PropertyRegistry& get_property_reg (void);

const std::string props_key = get_reg().register_tagr("properties",
[](teq::TensrefT ref, std::string property)
{
    get_property_reg().property_tag(ref, property);
});

}

#endif // TAG_PROP_HPP