ShortestPathSemiring.hpp

Go to the documentation of this file.

#ifndef WALI_SHORTEST_PATH_SEMIRING_HPP
#define WALI_SHORTEST_PATH_SEMIRING_HPP

#include "wali/SemElem.hpp"
#include "wali/MergeFn.hpp"
#include "wali/ref_ptr.hpp"
#include "wali/Key.hpp"
#include <set>


namespace wali {

  
  class ShortestPathSemiring : public wali::SemElem
  {
  public:

    //-----------------------------
    // semiring one and zero
    //-----------------------------
    sem_elem_t one() const;

    sem_elem_t zero() const;

    //---------------------------------
    // semiring operations
    //---------------------------------
    sem_elem_t extend( SemElem* rhs );

    sem_elem_t combine( SemElem* rhs );

    bool equal(SemElem *rhs) const;

    //------------------------------------
    // output
    //------------------------------------
    std::ostream & print(std::ostream &out) const;

    unsigned int getNum() const;

  private:
    
    unsigned int v;

  public:
    //---------------------
    // Constructors 
    //---------------------
    ShortestPathSemiring() : v(0) { }
    ShortestPathSemiring(unsigned int _v) : v(_v) {}
  };



}

#endif // REACH_SEMIRING