#include "base/pointer.h"
#include "debug/utils.h"

Go to the source code of this file.

Namespaces
namespace	dbm
Typedefs
typedef Valuation< int32_t >	IntValuation
	IntValuation = Valuation<int32_t>.
typedef Valuation< double >	DoubleValuation
	DoubleValuation = Valuation<double>.
Functions
static DoubleValuation &	operator+= (DoubleValuation &d, int32_t v)
	Overload += for automatic cast.
static std::ostream &	operator<< (std::ostream &os, const IntValuation &i)
	Overload << IntValuation.
static std::ostream &	operator<< (std::ostream &os, const DoubleValuation &d)
	Overload << DoubleValuation.

---

Typedef Documentation

typedef Valuation<double> dbm::DoubleValuation

DoubleValuation = Valuation<double>.

typedef Valuation<int32_t> dbm::IntValuation

IntValuation = Valuation<int32_t>.

---

Function Documentation

static DoubleValuation& dbm::operator+= (  DoubleValuation &  d, int32_t  v )  [inline, static]

Overload += for automatic cast.

static std::ostream& dbm::operator<< (  std::ostream &  os, const DoubleValuation &  d )  [inline, static]

Overload << DoubleValuation.

static std::ostream& dbm::operator<< (  std::ostream &  os, const IntValuation &  i )  [inline, static]

Overload << IntValuation.

---