cons_map.h

#ifndef SCIL_CONS_MAP_H
#define SCIL_CONS_MAP_H

#include <tr1/unordered_map>
#include<scil/basic_constraint.h>

namespace SCIL {

template<class A>
class cons_map {
private:
  tr1::unordered_map<A, cons> AV;
 
public:

  cons_map() : AV(nil) {
  };

  virtual void init() {
    AV.clear();
  };

  const
  cons operator[](const A& a) const {
    return AV[a];
  };

  // sets the constraint assosiated with \a a.
  cons& operator[](const A& a) {
    return AV[a];
  };

  virtual
    const cons& inf(const A& a) const {
    return AV[a];
  }

  virtual
    void undefine(const A& a) {
    AV.undefine(a);
  }
  
  virtual
    void set(cons c, const A& a) {
    AV[a]=c;
  }

  virtual
  ~cons_map() {};
};

};

#endif

---