#include <AlgebraicOperations.h>

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

Public Member Functions
	SummedFunction ()

	SummedFunction (const std::vector< Ptr< const IFunction< R, D >>> &functions)

const std::vector< Ptr< const IFunction< R, D > > > &	getElements () const

virtual void	addElement (const Ptr< const IFunction< R, D >> &f)

virtual void	removeElement (const Ptr< const IFunction< R, D >> &f)

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 void	partition (int index, const typename D::I &i, const std::function< void(const typename D::I &, const IFunction< R, D > )> callback, const IFunction< R, D > f) const

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
std::vector< Ptr< const IFunction< R, D > > >	functions

Constructor & Destructor Documentation

◆ SummedFunction() [1/2]

template<typename R , typename D >

inet::math::SummedFunction< R, D >::SummedFunction ( )

inline

344 {}

◆ SummedFunction() [2/2]

template<typename R , typename D >

inet::math::SummedFunction< R, D >::SummedFunction ( const std::vector< Ptr< const IFunction< R, D >>> & functions )

inline

345 : functions(functions) {}

Member Function Documentation

◆ addElement()

template<typename R , typename D >

virtual void inet::math::SummedFunction< R, D >::addElement ( const Ptr< const IFunction< R, D >> & f )

inlinevirtual

                                                                  {
         functions.push_back(f);
     }

◆ getDomain()

template<typename R , typename D >

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

inlineoverridevirtual

Returns the valid domain of the function as an interval.

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

                                                    {
         typename D::I domain(D::P::getLowerBounds(), D::P::getUpperBounds(), 0, 0, 0);
         for (const auto& f : functions)
             domain = domain.getIntersected(f->getDomain());
         return domain;
     }

◆ getElements()

template<typename R , typename D >

const std::vector<Ptr<const IFunction<R, D> > >& inet::math::SummedFunction< R, D >::getElements ( ) const

inline

347 { return functions; }

◆ getValue()

template<typename R , typename D >

virtual R inet::math::SummedFunction< 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 >.

                                                             {
         R sum = R(0);
         for (const auto& f : functions)
             sum += f->getValue(p);
         return sum;
     }

◆ isFinite()

template<typename R , typename D >

virtual bool inet::math::SummedFunction< 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 >.

                                                                {
         for (const auto& f : functions)
             if (!f->isFinite(i))
                 return false;
         return true;
     }

◆ partition() [1/2]

template<typename R , typename D >

virtual void inet::math::SummedFunction< 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 >.

                                                                                                                                                {
         ConstantFunction<R, D> g(R(0));
         partition(0, i, callback, &g);
     }

◆ partition() [2/2]

template<typename R , typename D >

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

inlinevirtual

                                                                                                                                                                            {
         if (index == (int)functions.size())
             simplifyAndCall(i, f, callback);
         else {
             functions[index]->partition(i, [&] (const typename D::I& i1, const IFunction<R, D> *f1) {
                 if (auto fc = dynamic_cast<const ConstantFunction<R, D> *>(f)) {
                     if (auto f1c = dynamic_cast<const ConstantFunction<R, D> *>(f1)) {
                         ConstantFunction<R, D> g(fc->getConstantValue() + f1c->getConstantValue());
                         partition(index + 1, i1, callback, &g);
                     }
                     else if (auto f1l = dynamic_cast<const UnilinearFunction<R, D> *>(f1)) {
                         UnilinearFunction<R, D> g(i1.getLower(), i1.getUpper(), f1l->getValue(i1.getLower()) + fc->getConstantValue(), f1l->getValue(i1.getUpper()) + fc->getConstantValue(), f1l->getDimension());
                         partition(index + 1, i1, callback, &g);
                     }
                     else
                         throw cRuntimeError("TODO");
                 }
                 else if (auto fl = dynamic_cast<const UnilinearFunction<R, D> *>(f)) {
                     if (auto f1c = dynamic_cast<const ConstantFunction<R, D> *>(f1)) {
                         UnilinearFunction<R, D> g(i1.getLower(), i1.getUpper(), fl->getValue(i1.getLower()) + f1c->getConstantValue(), fl->getValue(i1.getUpper()) + f1c->getConstantValue(), fl->getDimension());
                         partition(index + 1, i1, callback, &g);
                     }
                     else if (auto f1l = dynamic_cast<const UnilinearFunction<R, D> *>(f1)) {
                         if (fl->getDimension() == f1l->getDimension()) {
                             UnilinearFunction<R, D> g(i1.getLower(), i1.getUpper(), fl->getValue(i1.getLower()) + f1l->getValue(i1.getLower()), fl->getValue(i1.getUpper()) + f1l->getValue(i1.getUpper()), fl->getDimension());
                             partition(index + 1, i1, callback, &g);
                         }
                         else
                             throw cRuntimeError("TODO");
                     }
                     else
                         throw cRuntimeError("TODO");
                 }
                 else
                     throw cRuntimeError("TODO");
             });
         }
     }

◆ printStructure()

template<typename R , typename D >

virtual void inet::math::SummedFunction< 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 << "(Σ ";
         bool first = true;
         for (const auto& f : functions) {
             if (first)
                 first = false;
             else
                 os << "\n" << std::string(level + 3, ' ');
             f->printStructure(os, level + 3);
         }
         os << ")";
     }

◆ removeElement()

template<typename R , typename D >

virtual void inet::math::SummedFunction< R, D >::removeElement ( const Ptr< const IFunction< R, D >> & f )

inlinevirtual

                                                                     {
         functions.erase(std::remove(functions.begin(), functions.end(), f), functions.end());
     }

Member Data Documentation

◆ functions

template<typename R , typename D >

std::vector<Ptr<const IFunction<R, D> > > inet::math::SummedFunction< R, D >::functions

protected

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

AlgebraicOperations.h

Public Member Functions

Protected Attributes

Constructor & Destructor Documentation

◆ SummedFunction() [1/2]

◆ SummedFunction() [2/2]

Member Function Documentation

◆ addElement()

◆ getDomain()

◆ getElements()

◆ getValue()

◆ isFinite()

◆ partition() [1/2]

◆ partition() [2/2]

◆ printStructure()

◆ removeElement()

Member Data Documentation

◆ functions