include/my_lib/MaxPlus.hxx

Go to the documentation of this file.

#ifndef MAXPLUS_HXX
#define MAXPLUS_HXX

#include<my_lib/MaxPlus.hh>
#include<limits>
#include<sstream>

namespace my_lib {

  template<typename T>
  MaxPlus<T>::MaxPlus(const T& value) : value(value) {}
  
  template<typename T>
  MaxPlus<T>& MaxPlus<T>::operator +=(const MaxPlus& x) {
    if(x.value> value) value=x.value;
    return *this;
  }
  
  template<typename T>
  MaxPlus<T>& MaxPlus<T>::operator *=(const MaxPlus& x) {
    if(x!=get_zero() && *this!=get_zero())
      value+=x.value;
    else
      value=get_zero();
    return *this;
  }
  
  template<typename T>
  MaxPlus<T> MaxPlus<T>::operator +(const MaxPlus& x) const {
    MaxPlus y(*this);
    return y+=x;
  }
  
  template<typename T>
  MaxPlus<T> MaxPlus<T>::operator *(const MaxPlus& x) const {
    MaxPlus y(*this);
    return y*=x;
  }
  
  template<typename T>
  MaxPlus<T>::operator T() const {
    return value;
  }
  
  template<typename T>
  const MaxPlus<T>& MaxPlus<T>::get_zero() {
    static MaxPlus zero(std::numeric_limits<T>::min());
    return zero;
  }
  
  template<typename T>
  std::ostream& operator<< (std::ostream& o, const MaxPlus<T>& x) {
    if(x.value==MaxPlus<T>::get_zero().value)
      o << "-oo";
    else
      o << x.value;
    return o;
  }
   
  template<typename T>
  std::istream& operator>> (std::istream& i, MaxPlus<T>& x) {
    std::string s;
    i >> s;
    if(s=="-oo")
      x=MaxPlus<T>::get_zero();
    else {
      std::istringstream iss(s);
      iss >> x.value;
    }
  }
} //my_lib

#endif //MAXPLUS_HXX