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

#include <Fmaxp.h>

Inheritance diagram for etvo::Fmaxp:

Public Member Functions
	Fmaxp ()

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

	Fmaxp (const Fper &)

Fmaxp	min (const Fmaxp &) const

Fmaxp	max (const Fmaxp &) const

Fmaxp	operator+ (const Fmaxp &f) const

Fmaxp	operator* (const Fmaxp &f) const

Fmaxp	inf (const Fmaxp &f) const

bool	operator== (const Fmaxp &) const

bool	operator!= (const Fmaxp &) const

bool	operator<= (const Fmaxp &) const

bool	operator>= (const Fmaxp &) const

bool	operator< (const Fmaxp &) const

bool	operator> (const Fmaxp &) const

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

Fmaxp	rfrac (const Fmaxp &a) const
	residuation of the right product Fmaxp g,f; ... g.rfrac(f) = greatest function h s.t. h.f <= g 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 Fmaxp	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=max and otimes=composition.

Author: BC LH JT LARIS

Version: 2.0

Constructor & Destructor Documentation

◆ Fmaxp() [1/3]

etvo::Fmaxp::Fmaxp ( )

Default constructor : Id function

◆ Fmaxp() [2/3]

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

Constructor: full definition (see the base class Fper)

◆ Fmaxp() [3/3]

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

Constructor: initialise from Fper function

Member Function Documentation

◆ E()

Fmaxp etvo::Fmaxp::E ( )

static

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

◆ inf()

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

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

◆ lfrac()

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

residuation of the left product Fmaxp g,f;

...

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

a\b = Max {x | a(x)<= b} forall t, x(t)=max{ tmax | f(tmax)<=g(t)} returns a\b with b=*this

◆ max()

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

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

◆ min()

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

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

◆ operator*()

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

operator=composition

◆ operator+()

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

operator=max

◆ rfrac()

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

residuation of the right product Fmaxp g,f; ... g.rfrac(f) = greatest function h s.t. h.f <= g

returns b/a (b=*this)

Fill the begining if not complete

◆ toString()

std::string etvo::Fmaxp::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/Fmaxp.h
C:/Users/usrlocal/ownCloud/DevSoft/etvoIII/etvo31/etvo/Fper/Fmaxp.cpp

Public Member Functions

Static Public Member Functions

Additional Inherited Members