#include <AlgebraicOperations.h>

Inheritance diagram for inet::math::AddedFunction< R, D >:

Public Member Functions
	AddedFunction (const Ptr< const IFunction< R, D >> &function1, const Ptr< const IFunction< R, D >> &function2)

virtual D::I	getDomain () const override
	Returns the valid domain of the function as an interval. More...

virtual R	getValue (const typename D::P &p) const override
	Returns the value of the function at the given point. More...

virtual void	partition (const typename D::I &i, const std::function< void(const typename D::I &, const IFunction< R, D > *)> callback) const override
	Subdivides the provided domain and calls back f with the subdomains and the corresponding potentially simpler domain limited functions. More...

virtual bool	isFinite (const typename D::I &i) const override
	Returns true if the function value is finite in the given domain. More...

virtual void	printStructure (std::ostream &os, int level=0) const override
	Prints the internal data structure of this function in a human readable form to the provided stream. More...

Public Member Functions inherited from inet::math::FunctionBase< R, D >
virtual Interval< R >	getRange () const override
	Returns the valid range of the function as an interval. More...

virtual Interval< R >	getRange (const typename D::I &i) const override
	Returns the valid range of the function as an interval for the given domain. More...

virtual bool	isFinite () const override
	Returns true if the function value is finite in the whole domain. More...

virtual bool	isNonZero () const override
	Returns true if the function value is non-zero in the whole domain. More...

virtual bool	isNonZero (const typename D::I &i) const override
	Returns true if the function value is non-zero in the given domain. More...

virtual R	getMin () const override
	Returns the minimum value for the whole domain. More...

virtual R	getMin (const typename D::I &i) const override
	Returns the minimum value for the given domain. More...

virtual R	getMax () const override
	Returns the maximum value for the whole domain. More...

virtual R	getMax (const typename D::I &i) const override
	Returns the maximum value for the given domain. More...

virtual R	getMean () const override
	Returns the mean value for the whole domain. More...

virtual R	getMean (const typename D::I &i) const override
	Returns the mean value for the given domain. More...

virtual R	getIntegral () const override
	Returns the integral value for the whole domain. More...

virtual R	getIntegral (const typename D::I &i) const override
	Returns the integral value for the given domain. More...

virtual const Ptr< const IFunction< R, D > >	add (const Ptr< const IFunction< R, D >> &o) const override
	Adds the provided function to this function. More...

virtual const Ptr< const IFunction< R, D > >	subtract (const Ptr< const IFunction< R, D >> &o) const override
	Substracts the provided function from this function. More...

virtual const Ptr< const IFunction< R, D > >	multiply (const Ptr< const IFunction< double, D >> &o) const override
	Multiplies the provided function with this function. More...

virtual const Ptr< const IFunction< double, D > >	divide (const Ptr< const IFunction< R, D >> &o) const override
	Divides this function with the provided function. More...

virtual std::ostream &	printOn (std::ostream &os) const override

virtual void	print (std::ostream &os, int level=0) const override
	Prints this function in human readable form to the provided stream for the whole domain. More...

virtual void	print (std::ostream &os, const typename D::I &i, int level=0) const override
	Prints this function in a human readable form to the provided stream for the given domain. More...

virtual void	printPartitioning (std::ostream &os, const typename D::I &i, int level) const override
	Prints the partitioning of this function in a human readable form to the provided stream for the given domain. More...

virtual void	printPartition (std::ostream &os, const typename D::I &i, int level=0) const override
	Prints a single partition of this function in a human readable form to the provided stream for the given domain. More...

Public Member Functions inherited from inet::math::IFunction< R, D >
virtual	~IFunction ()

Protected Attributes
const Ptr< const IFunction< R, D > >	function1

const Ptr< const IFunction< R, D > >	function2

Constructor & Destructor Documentation

◆ AddedFunction()

template<typename R , typename D >

inet::math::AddedFunction< R, D >::AddedFunction	(	const Ptr< const IFunction< R, D >> &	function1,
		const Ptr< const IFunction< R, D >> &	function2
	)

inline

                                                                                                             :
         function1(function1), function2(function2)
     {}

Member Function Documentation

◆ getDomain()

template<typename R , typename D >

virtual D::I inet::math::AddedFunction< R, D >::getDomain ( ) const

inlineoverridevirtual

Returns the valid domain of the function as an interval.

Reimplemented from inet::math::FunctionBase< R, D >.

                                                    {
         return function1->getDomain().getIntersected(function2->getDomain());
     }

◆ getValue()

template<typename R , typename D >

virtual R inet::math::AddedFunction< R, D >::getValue ( const typename D::P & p ) const

inlineoverridevirtual

Returns the value of the function at the given point.

The returned value falls into the range of the function. The provided point must fall into the domain of the function.

Implements inet::math::IFunction< R, D >.

                                                             {
         return function1->getValue(p) + function2->getValue(p);
     }

◆ isFinite()

template<typename R , typename D >

virtual bool inet::math::AddedFunction< R, D >::isFinite ( const typename D::I & i ) const

inlineoverridevirtual

Returns true if the function value is finite in the given domain.

Reimplemented from inet::math::FunctionBase< R, D >.

                                                                {
         return function1->isFinite(i) & function2->isFinite(i);
     }

◆ partition()

template<typename R , typename D >

virtual void inet::math::AddedFunction< R, D >::partition	(	const typename D::I &	i,
		const std::function< void(const typename D::I &, const IFunction< R, D > *)>	f
	)		const

inlineoverridevirtual

Subdivides the provided domain and calls back f with the subdomains and the corresponding potentially simpler domain limited functions.

Reimplemented from inet::math::FunctionBase< R, D >.

                                                                                                                                                {
         function1->partition(i, [&] (const typename D::I& i1, const IFunction<R, D> *f1) {
             // NOTE: optimization for 0 + x
             if (auto f1c = dynamic_cast<const ConstantFunction<R, D> *>(f1)) {
                 if (toDouble(f1c->getConstantValue()) == 0) {
                     function2->partition(i1, callback);
                     return;
                 }
             }
             function2->partition(i1, [&] (const typename D::I& i2, const IFunction<R, D> *f2) {
                 // TODO use template specialization for compile time optimization
                 if (auto f1c = dynamic_cast<const ConstantFunction<R, D> *>(f1)) {
                     if (auto f2c = dynamic_cast<const ConstantFunction<R, D> *>(f2)) {
                         ConstantFunction<R, D> g(f1c->getConstantValue() + f2c->getConstantValue());
                         callback(i2, &g);
                     }
                     else if (auto f2l = dynamic_cast<const UnilinearFunction<R, D> *>(f2)) {
                         UnilinearFunction<R, D> g(i2.getLower(), i2.getUpper(), f2l->getValue(i2.getLower()) + f1c->getConstantValue(), f2l->getValue(i2.getUpper()) + f1c->getConstantValue(), f2l->getDimension());
                         simplifyAndCall(i2, &g, callback);
                     }
                     else
                         throw cRuntimeError("TODO");
                 }
                 else if (auto f1l = dynamic_cast<const UnilinearFunction<R, D> *>(f1)) {
                     if (auto f2c = dynamic_cast<const ConstantFunction<R, D> *>(f2)) {
                         UnilinearFunction<R, D> g(i2.getLower(), i2.getUpper(), f1l->getValue(i2.getLower()) + f2c->getConstantValue(), f1l->getValue(i2.getUpper()) + f2c->getConstantValue(), f1l->getDimension());
                         simplifyAndCall(i2, &g, callback);
                     }
                     else if (auto f2l = dynamic_cast<const UnilinearFunction<R, D> *>(f2)) {
                         if (f1l->getDimension() == f2l->getDimension()) {
                             UnilinearFunction<R, D> g(i2.getLower(), i2.getUpper(), f1l->getValue(i2.getLower()) + f2l->getValue(i2.getLower()), f1l->getValue(i2.getUpper()) + f2l->getValue(i2.getUpper()), f1l->getDimension());
                             simplifyAndCall(i2, &g, callback);
                         }
                         else {
                             typename D::P lowerLower = D::P::getZero();
                             typename D::P lowerUpper = D::P::getZero();
                             typename D::P upperLower = D::P::getZero();
                             typename D::P upperUpper = D::P::getZero();
                             lowerLower.set(f1l->getDimension(), i1.getLower().get(f1l->getDimension()));
                             lowerUpper.set(f1l->getDimension(), i1.getLower().get(f1l->getDimension()));
                             upperLower.set(f1l->getDimension(), i1.getUpper().get(f1l->getDimension()));
                             upperUpper.set(f1l->getDimension(), i1.getUpper().get(f1l->getDimension()));
                             lowerLower.set(f2l->getDimension(), i2.getLower().get(f2l->getDimension()));
                             lowerUpper.set(f2l->getDimension(), i2.getUpper().get(f2l->getDimension()));
                             upperLower.set(f2l->getDimension(), i2.getLower().get(f2l->getDimension()));
                             upperUpper.set(f2l->getDimension(), i2.getUpper().get(f2l->getDimension()));
                             R rLowerLower = f1l->getValue(lowerLower) + f2l->getValue(lowerLower);
                             R rLowerUpper = f1l->getValue(lowerUpper) + f2l->getValue(lowerUpper);
                             R rUpperLower = f1l->getValue(upperLower) + f2l->getValue(upperLower);
                             R rUpperUpper = f1l->getValue(upperUpper) + f2l->getValue(upperUpper);
                             BilinearFunction<R, D> g(lowerLower, lowerUpper, upperLower, upperUpper, rLowerLower, rLowerUpper, rUpperLower, rUpperUpper, f1l->getDimension(), f2l->getDimension());
                             simplifyAndCall(i2, &g, callback);
                         }
                     }
                     else
                         throw cRuntimeError("TODO");
                 }
                 else
                     throw cRuntimeError("TODO");
             });
         });
     }

◆ printStructure()

template<typename R , typename D >

virtual void inet::math::AddedFunction< R, D >::printStructure	(	std::ostream &	os,
		int	level = `0`
	)		const

inlineoverridevirtual

Prints the internal data structure of this function in a human readable form to the provided stream.

Reimplemented from inet::math::FunctionBase< R, D >.

                                                                               {
         os << "(+ ";
         function1->printStructure(os, level + 3);
         os << "\n" << std::string(level + 3, ' ');
         function2->printStructure(os, level + 3);
         os << ")";
     }

Member Data Documentation

◆ function1

template<typename R , typename D >

const Ptr<const IFunction<R, D> > inet::math::AddedFunction< R, D >::function1

protected

◆ function2

template<typename R , typename D >

const Ptr<const IFunction<R, D> > inet::math::AddedFunction< R, D >::function2

protected

The documentation for this class was generated from the following file:

AlgebraicOperations.h

Public Member Functions

Protected Attributes

Constructor & Destructor Documentation

◆ AddedFunction()

Member Function Documentation

◆ getDomain()

◆ getValue()

◆ isFinite()

◆ partition()

◆ printStructure()

Member Data Documentation

◆ function1

◆ function2