// Copyright 2003, Trustees of Indiana University
// Please see the license in the file ../LICENSE
// Simple property_map implementation
import java.util.*;
public class hash_property_map implements ReadWritePropertyMap {
private HashMap data;
public hash_property_map() {
data = new HashMap();
}
public void set(A a, B b) {
data.put(a,b);
}
public B get(A a) {
return data.get(a);
}
}