The Log expression represents the logarithm of a base and an argument. More...

#include <Oasis/Log.hpp>

Inheritance diagram for Oasis::Log< BaseT, ArgumentT >:

Collaboration diagram for Oasis::Log< BaseT, ArgumentT >:

Public Member Functions
	Log ()=default

	Log (const Log< BaseT, ArgumentT > &other)

	Log (const BaseT &base, const ArgumentT &argument)

auto	operator= (const Log &other) -> Log &=default

	EXPRESSION_TYPE (Log)

	EXPRESSION_CATEGORY (BinExp)

Public Member Functions inherited from Oasis::BinaryExpression< DerivedT, MostSigOpT, LeastSigOpT >
	BinaryExpression ()=default

	BinaryExpression (const BinaryExpression &other)

	BinaryExpression (const MostSigOpT &mostSigOp, const LeastSigOpT &leastSigOp)

template<IExpression Op1T, IExpression Op2T, IExpression... OpsT>
	BinaryExpression (const Op1T &op1, const Op2T &op2, const OpsT &... ops)

auto	Copy () const -> std::unique_ptr< Expression > final
	Copies this expression.

auto	Differentiate (const Expression &differentiationVariable) const -> std::unique_ptr< Expression > override
	Tries to differentiate this function.

auto	Equals (const Expression &other) const -> bool final
	Compares this expression to another expression for equality.

auto	Generalize () const -> std::unique_ptr< Expression > final
	Converts this expression to a more general expression.

auto	Simplify () const -> std::unique_ptr< Expression > override
	Simplifies this expression.

auto	Integrate (const Expression &integrationVariable) const -> std::unique_ptr< Expression > override
	Attempts to integrate this expression using integration rules.

auto	StructurallyEquivalent (const Expression &other) const -> bool final
	Checks whether this expression is structurally equivalent to another expression.

auto	Flatten (std::vector< std::unique_ptr< Expression > > &out) const -> void
	Flattens this expression.

auto	GetMostSigOp () const -> const MostSigOpT &
	Gets the most significant operand of this expression.

auto	GetLeastSigOp () const -> const LeastSigOpT &
	Gets the least significant operand of this expression.

auto	HasMostSigOp () const -> bool
	Gets whether this expression has a most significant operand.

auto	HasLeastSigOp () const -> bool
	Gets whether this expression has a least significant operand.

template<typename T > requires IsAnyOf<T, MostSigOpT, Expression>
auto	SetMostSigOp (const T &op) -> bool
	Sets the most significant operand of this expression.

template<typename T > requires IsAnyOf<T, LeastSigOpT, Expression>
auto	SetLeastSigOp (const T &op) -> bool
	Sets the least significant operand of this expression.

auto	Substitute (const Expression &var, const Expression &val) -> std::unique_ptr< Expression > override

auto	SwapOperands () const -> DerivedT< LeastSigOpT, MostSigOpT >
	Swaps the operands of this expression.

auto	operator= (const BinaryExpression &other) -> BinaryExpression &=default

void	Serialize (SerializationVisitor &visitor) const override
	This function serializes the expression object.

Public Member Functions inherited from Oasis::Expression
auto	FindZeros () const -> std::vector< std::unique_ptr< Expression > >
	The FindZeros function finds all rational real zeros, and up to 2 irrational/complex zeros of a polynomial.

virtual auto	GetCategory () const -> uint32_t
	Gets the category of this expression.

virtual auto	GetType () const -> ExpressionType
	Gets the type of this expression.

virtual auto	IntegrateWithBounds (const Expression &, const Expression &, const Expression &) -> std::unique_ptr< Expression >
	Attempts to integrate this expression using integration rules.

template<IExpression T>
bool	Is () const
	Gets whether this expression is of a specific type.

template<template< typename > typename T>
bool	Is () const

template<template< typename, typename > typename T>
bool	Is () const

virtual	~Expression ()=default

Additional Inherited Members
Public Attributes inherited from Oasis::BinaryExpression< DerivedT, MostSigOpT, LeastSigOpT >
std::unique_ptr< MostSigOpT >	mostSigOp

std::unique_ptr< LeastSigOpT >	leastSigOp

Detailed Description

template<IExpression BaseT = Expression, IExpression ArgumentT = BaseT>
class Oasis::Log< BaseT, ArgumentT >

The Log expression represents the logarithm of a base and an argument.

Template Parameters

BaseT	The type of the base expression.
ArgumentT	The type of the argument expression.