Class for pseudo - periodic functions with oplus=min and otimes=composition. More...

#include <Fminp.h>

Inheritance diagram for etvo::Fminp:

Public Member Functions
	Fminp ()

	Fminp (int dP, int codP, const std::vector< int > &seq)

	Fminp (const Fper &f)

Fminp	min (const Fminp &f) const

Fminp	max (const Fminp &f) const

Fminp	operator+ (const Fminp &f) const

Fminp	operator* (const Fminp &f) const

Fminp	inf (const Fminp &f) const

bool	operator== (const Fminp &f) const

bool	operator!= (const Fminp &f) const

bool	operator<= (const Fminp &f) const

bool	operator>= (const Fminp &f) const

bool	operator< (const Fminp &f) const

bool	operator> (const Fminp &f) const

Fminp	lfrac (const Fminp &a) const
	residuation of the left product Fminp g,f; More...

Fminp	rfrac (const Fminp &a) const
	residuation of the right product Fminp g,f; More...

virtual std::string	toString () const

Public Member Functions inherited from etvo::Fper
	Fper ()
	Default constructor : set as Id function Z->Z,x->x.

	Fper (int dP, int codP, const std::vector< int > &seq)
	Constructor : full definition. More...

void	setSeq (const std::vector< int > &seq)
	Set values of f(0),f(1), ... over one period. More...

void	setPeriodicity (int dP, int codP)
	Set dP/codP. More...

std::pair< int, int >	getPeriodicity () const
	returns the pair (dP,codP)

int	getValue (int arg) const
	Value of f(x) More...

int	operator() (int arg) const
	Value of f(x) More...

int	getDomPer () const

int	getCodomPer () const

bool	operator== (const Fper &f) const

bool	operator!= (const Fper &f) const

bool	operator<= (const Fper &f) const

bool	operator>= (const Fper &f) const

Fper	extendBy (unsigned mul) const
	Produces a non-canonical extension of a (dP,codP) pseudo-periodic function The result is the equivalent (mulxdP,mulxcodP) pseudo-periodc function.

Fper	composeWith (const Fper &f) const
	Computes the composition of *this with f. More...

Fper	sum (const Fper &f) const

void	reduce ()
	Reduces a non-canonical pseudo-periodic function to the canonical form which has the least period (dP,codP)

void	canon ()

double	getyMax0 () const

double	getyMin0 () const

Static Public Member Functions
static Fminp	E ()

Static Public Member Functions inherited from etvo::Fper
static void	setAutoReduction (bool on)
	Class method (called by Fper::setAutoReductionState(b)) to set the autoreduction state (ON/OFF)

static bool	getAutoReductionState ()
	Class method (called by Fper::getAutoReductionState()) to obtain the autoreduction state (ON/OFF)

Additional Inherited Members
Protected Member Functions inherited from etvo::Fper
bool	reduceBy (unsigned div)

void	updateYMinMax ()

bool	isNodecreasing (const std::vector< int > &v)

Protected Attributes inherited from etvo::Fper
int	_domP
	domain period

int	_codomP
	codomain period

std::vector< int >	_seq
	periodic sequence

double	_yMax0

double	_yMin0

Static Protected Attributes inherited from etvo::Fper
static bool	_autoreduction =true
	class variable to set ON/OFF the autoreduction More...

Detailed Description

Class for pseudo - periodic functions with oplus=min and otimes=composition.

Author: BC LH JT LARIS

Version: 2.0

Constructor & Destructor Documentation

◆ Fminp() [1/3]

etvo::Fminp::Fminp ( )

Default constructor : Id function

◆ Fminp() [2/3]

etvo::Fminp::Fminp	(	int	dP,
		int	codP,
		const std::vector< int > &	seq
	)

Constructor: full definition (see the base class Fper)

◆ Fminp() [3/3]

etvo::Fminp::Fminp ( const Fper & f )

Constructor: initialise from Fper function

Member Function Documentation

◆ E()

Fminp etvo::Fminp::E ( )

static

Class method (called by Fminp::E()) returning the Id function

◆ inf()

Fminp etvo::Fminp::inf ( const Fminp & f ) const

infimum (max) operation between two functions with the same slope

◆ lfrac()

Fminp etvo::Fminp::lfrac ( const Fminp & a ) const

residuation of the left product Fminp g,f;

...

g.lfrac(f) = "greatest" (according to the (min,+) order) function h s.t. f.h <= g

a\b = Min {x | a(x)>= b} forall k, x(k)=min{ kmin | f(kmin)>=g(k)}

returns a\b with b=*this

result periodicity

◆ max()

Fminp etvo::Fminp::max ( const Fminp & f ) const

max operation between two functions with the same slope codP/dP

◆ min()

Fminp etvo::Fminp::min ( const Fminp & f ) const

min operation between two functions with the same slope codP/dP

◆ operator*()

Fminp etvo::Fminp::operator* ( const Fminp & f ) const

operator = composition

◆ operator+()

Fminp etvo::Fminp::operator+ ( const Fminp & f ) const

operator=min

◆ rfrac()

Fminp etvo::Fminp::rfrac ( const Fminp & a ) const

residuation of the right product Fminp g,f;

...

g.rfrac(f) = greatest function h s.t. h.f <= g

returns b/a (b=*this)

◆ toString()

std::string etvo::Fminp::toString ( ) const

virtual

returns a string description of the function

Reimplemented from etvo::Fper.

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

C:/Users/usrlocal/ownCloud/DevSoft/etvoIII/etvo31/etvo/Fper/Fminp.h
C:/Users/usrlocal/ownCloud/DevSoft/etvoIII/etvo31/etvo/Fper/Fminp.cpp

Public Member Functions

Static Public Member Functions

Additional Inherited Members