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: