MaxPlus::Vector Class Reference
#include <mpmatrix.h>

Public Member Functions | |
| Vector (unsigned int size=0, MPTime value=MP_MINUSINFINITY) | |
| Vector (std::vector< MPTime > *v) | |
| ~Vector () | |
| unsigned int | getSize (void) const |
| MPTime | get (unsigned int row) const |
| void | put (unsigned int row, MPTime value) |
| void | toString (CString &outString, double scale=1.0) const |
| Vector (const Vector &) | |
| Vector & | operator= (const Vector &) |
| MPTime | norm () |
| void | negate () |
| MPTime | normalize () |
| Vector * | add (MPTime increase) const |
| void | add (MPTime increase, Vector *result) const |
| void | maximum (const Vector *matB, Vector *result) const |
| Vector * | add (const Vector *vecB) const |
| void | add (const Vector *vecB, Vector *res) const |
| Vector & | operator+= (MPTime increase) |
| Vector & | operator-= (MPTime decrease) |
| bool | compare (const Vector &v) |
| Vector & | incrementalMaximum (const Vector *vec) |
| MPTime | minimalFiniteElement (unsigned int *itsPosition_Ptr=NULL) const |
Private Attributes | |
| vector< MPTime > | table |
Detailed Description
Vector, represents a MaxPlus column vector
Constructor & Destructor Documentation
| MaxPlus::Vector::Vector | ( | unsigned int | size = 0, |
|
| MPTime | value = MP_MINUSINFINITY | |||
| ) |
| MaxPlus::Vector::Vector | ( | std::vector< MPTime > * | v | ) |
Construct a Maxplus vector from an std:vector
References table.
| MaxPlus::Vector::~Vector | ( | ) |
Destructor of MaxPlus vector
| MaxPlus::Vector::Vector | ( | const Vector & | other | ) |
Member Function Documentation
add scalar to vector
References getSize(), and Vector().
Referenced by add(), operator+=(), and operator-=().

Vector::add add vectors
References get(), getSize(), and put().

| bool MaxPlus::Vector::compare | ( | const Vector & | v | ) |
Compare vectors up to MP_EPSILON
References get(), getSize(), and MaxPlus::MP_EPSILON.

| MPTime MaxPlus::Vector::get | ( | unsigned int | row | ) | const [inline] |
References table.
Referenced by add(), FSMSADF::ToolAnalyze::analyzeGraph(), analyzeSDFG(), FSMSADF::MPExploreStateSpace::State::compare(), compare(), FSMSADF::MPExplore::Exploration::convertEigenvector(), FSMSADF::MPExploreStateSpace::State::equals(), MaxPlus::VectorList::findSimilar(), MaxPlusAnalysis::State::fromVector(), FSMSADF::MPExplore::State::fromVector(), FSMSADF::MPExploreStateSpace::State::hashValue(), maximum(), MaxPlus::Matrix::mpmultiply(), FSMSADF::MPExploreStateSpace::State::print(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::printStateSpace().
| unsigned int MaxPlus::Vector::getSize | ( | void | ) | const [inline] |
References table.
Referenced by add(), FSMSADF::MPExploreStateSpace::State::addReachableState(), FSMSADF::ToolAnalyze::analyzeGraph(), analyzeSDFG(), FSMSADF::MPExploreStateSpace::State::compare(), compare(), FSMSADF::MPExploreStateSpace::State::equals(), MaxPlus::VectorList::findSimilar(), FSMSADF::MPExploreStateSpace::State::hashValue(), maximum(), minimalFiniteElement(), MaxPlus::Matrix::mpmultiply(), negate(), norm(), normalize(), operator=(), FSMSADF::MPExploreStateSpace::State::print(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::printStateSpace(), MaxPlus::VectorList::toString(), toString(), and Vector().
max of vectors
References get(), getSize(), MaxPlus::MP_MAX(), and put().
Referenced by incrementalMaximum().

| MPTime MaxPlus::Vector::minimalFiniteElement | ( | unsigned int * | itsPosition_Ptr = NULL |
) | const |
Get minimal finite element returns the smallest amoung the finite elements in the vector or MP_MINUSINFINITY if no finite elements exist itsPosition returns the index of the (a) smallest finite element is set to a pointer to unsigned int, otherwise set or defaults to NULL
References getSize(), MaxPlus::MP_ISMINUSINFINITY(), and MaxPlus::MP_MINUSINFINITY.

| void MaxPlus::Vector::negate | ( | ) |
vector negate
References getSize(), MaxPlus::MP_MINUSINFINITY, and put().

| MPTime MaxPlus::Vector::norm | ( | ) |
calculate vector norm
References getSize(), MaxPlus::MP_MAX(), and MaxPlus::MP_MINUSINFINITY.
Referenced by normalize().

| MPTime MaxPlus::Vector::normalize | ( | ) |
normalize vector
References getSize(), MaxPlus::MP_MINUSINFINITY, norm(), and put().
Referenced by FSMSADF::MPExploreStateSpace::State::normalize().

| void MaxPlus::Vector::put | ( | unsigned int | row, | |
| MPTime | value | |||
| ) |
Put an entry into the vector. Grows vector if necessary
References table.
Referenced by add(), FSMSADF::MPExplore::TokenFIFO::addToVector(), FSMSADF::MPExplore::Exploration::convertEigenvector(), maximum(), MaxPlus::Matrix::mpmultiply(), negate(), and normalize().
| void MaxPlus::Vector::toString | ( | CString & | outString, | |
| double | scale = 1.0 | |||
| ) | const |
String representation of vector
References getSize(), and MaxPlus::timeToString().
Referenced by MaxPlus::VectorList::toString().

Member Data Documentation
vector<MPTime> MaxPlus::Vector::table [private] |
Referenced by get(), getSize(), operator=(), put(), and Vector().
The documentation for this class was generated from the following files:








