LeafExpression.hpp

Go to the documentation of this file.

//
// Created by Matthew McCall on 7/2/23.
//
 
#ifndef OASIS_LEAFEXPRESSION_HPP
#define OASIS_LEAFEXPRESSION_HPP
 
#include "Expression.hpp"
#include "Visit.hpp"
 
namespace Oasis {
 
template <typename DerivedT>
class LeafExpression : public Expression {
public:
    [[nodiscard]] auto Copy() const -> std::unique_ptr<Expression> final
    {
        return std::make_unique<DerivedT>(*static_cast<const DerivedT*>(this));
    }
 
    [[nodiscard]] auto StructurallyEquivalent(const Expression& other) const -> bool final
    {
        return this->GetType() == other.GetType();
    }
 
    [[nodiscard]] auto Integrate(const Expression& integrationVariable) const -> std::unique_ptr<Expression> override
    {
        return Generalize()->Integrate(integrationVariable);
    }
 
    auto Substitute(const Expression&, const Expression&) -> std::unique_ptr<Expression> override
    {
        return this->Copy();
    }
 
    auto AcceptInternal(Visitor& visitor) const -> any override
    {
        const auto generalized = Generalize();
        const auto& derivedGeneralized = dynamic_cast<const DerivedT&>(*generalized);
        return visitor.Visit(derivedGeneralized);
    }
};
 
} // Oasis
 
#endif // OASIS_LEAFEXPRESSION_HPP