formula.h

Go to the documentation of this file.

#ifndef REPRESENTATION_FORMAL_BASIC_FORMULA_H
#define REPRESENTATION_FORMAL_BASIC_FORMULA_H

#include <irafhy/representation/formal/basic/item.h>

namespace irafhy
{
    class Formula
    {
    private:
        Item expression_;
        mutable bool isReversed_ = false;

    public:
        Formula() = default;
        explicit Formula(const Item& expression);
        std::function<
            capd::autodiff::Node(capd::autodiff::Node, capd::autodiff::Node[], int, capd::autodiff::Node[], int)>
            arithmetic() const;
        capd::interval value(const capd::interval&              t,
                             const std::vector<capd::interval>& in,
                             const std::vector<capd::interval>& params) const;
        bool isReversed() const;
        void reverse() const;
        friend std::ostream& operator<<(std::ostream& out, const Formula& rhs);
    };
} // namespace irafhy
#endif //REPRESENTATION_FORMAL_BASIC_FORMULA_H