Integral.hpp

Go to the documentation of this file.

//
// Created by Levy Lin on 2/09/2024.
//
 
#ifndef OASIS_INTEGRATE_HPP
#define OASIS_INTEGRATE_HPP
 
#include "BinaryExpression.hpp"
#include "Expression.hpp"
#include "Real.hpp"
 
namespace Oasis {
 
template <IExpression Integrand, IExpression Differential>
class Integral;
 
template <>
class Integral<Expression, Expression> : public BinaryExpression<Integral> {
public:
    Integral() = default;
    Integral(const Integral<Expression, Expression>& other) = default;
 
    Integral(const Expression& integrand, const Expression& differential);
 
    [[nodiscard]] auto Simplify() const -> std::unique_ptr<Expression> final;
    [[nodiscard]] auto Simplify(const Expression& upper, const Expression& lower) const -> std::unique_ptr<Expression> /* final */;
 
    EXPRESSION_TYPE(Integral)
    EXPRESSION_CATEGORY(Associative | Commutative)
};
 
template <IExpression IntegrandT = Expression, IExpression DifferentialT = IntegrandT>
class Integral : public BinaryExpression<Integral, IntegrandT, DifferentialT> {
public:
    Integral() = default;
    Integral(const Integral<IntegrandT, DifferentialT>& other)
        : BinaryExpression<Integral, IntegrandT, DifferentialT>(other)
    {
    }
 
    Integral(const IntegrandT& integrand, const DifferentialT& differential)
        : BinaryExpression<Integral, IntegrandT, DifferentialT>(integrand, differential)
    {
    }
 
    auto operator=(const Integral& other) -> Integral& = default;
 
    EXPRESSION_TYPE(Integral)
    EXPRESSION_CATEGORY(Associative | Commutative)
};
 
} // namespace Oasis
 
#endif // OASIS_INTEGRATE_HPP