dbm::Valuation< S > Class Template Reference

Valuation: like a fixed vector of scalars S with some basic operations on it. More...

#include <Valuation.h>

Inheritance diagram for dbm::Valuation< S >:

List of all members.

Public Member Functions
	Valuation (size_t size)
	Constructor.
	Valuation (const Valuation< S > &original)
	Copy constructor.
	~Valuation ()
Valuation< S > &	operator+= (S value)
	Add value to all the elements of this vector EXCEPT element 0 (reference clock).
Valuation< S > &	operator-= (S value)
	Subtract value to all the elements of this vector.

---

Detailed Description

template<class S>
class dbm::Valuation< S >

Valuation: like a fixed vector of scalars S with some basic operations on it.

We don't use array_t because we don't want to resize but we need basic memory alloc/dealloc.

---

Constructor & Destructor Documentation

template<class S> dbm::Valuation< S >::Valuation (  size_t  size  )  [inline]

Constructor. Parameters: size,:  size of the S valuation vector, or dimension.

template<class S> dbm::Valuation< S >::Valuation (  const Valuation< S > &  original  )  [inline]

Copy constructor. Parameters: original,:  vector to copy

template<class S> dbm::Valuation< S >::~Valuation (   )  [inline]

---

Member Function Documentation

template<class S> Valuation<S>& dbm::Valuation< S >::operator+= (  S  value  )  [inline]

Add value to all the elements of this vector EXCEPT element 0 (reference clock). Parameters: value,:  element to add.

template<class S> Valuation<S>& dbm::Valuation< S >::operator-= (  S  value  )  [inline]

Subtract value to all the elements of this vector. Parameters: value,:  element to subtract.

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/dbm/Valuation.h

---