item.h

Go to the documentation of this file.

#ifndef REPRESENTATION_FORMAL_BASIC_ITEM_H
#define REPRESENTATION_FORMAL_BASIC_ITEM_H

#include <irafhy/representation/formal/basic/entity/constant.h>
#include <irafhy/representation/formal/basic/entity/variable.h>
#include <irafhy/representation/formal/basic/entity/unaryItem.h>
#include <irafhy/representation/formal/basic/entity/binaryItem.h>
#include <boost/variant.hpp>

namespace irafhy
{
    using Entity = boost::variant<Constant, Variable, UnaryItem, BinaryItem>;

    struct entityVisitor : public boost::static_visitor<Entity>
    {
    public:
        Entity operator()(const Entity& entity) const { return entity; }
    };

    class Item
    {
    private:
        Entity entity_;

    public:
        Item();
        explicit Item(const Entity& entity);
        ~Item() = default;
        [[nodiscard]] std::function<
            capd::autodiff::Node(capd::autodiff::Node, capd::autodiff::Node[], int, capd::autodiff::Node[], int)>
            arithmetic() const;
        [[nodiscard]] capd::interval value(const capd::interval&              t,
                                           const std::vector<capd::interval>& in,
                                           const std::vector<capd::interval>& params) const;
        friend std::ostream& operator<<(std::ostream& out, const Item& rhs);
    };
} // namespace irafhy
#endif //REPRESENTATION_FORMAL_BASIC_ITEM_H