class SymbolicAddressMap {

	@Override
	public int hashCode() {
		if(isTop()) return 1;
		else return 2 + 31 * mapP.hashCode() + mapA.hashCode();
	}

	public  SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory);
	private  SymbolicAddressMap(BoundedSetFactory<SymbolicAddress> bsFactory,
							   HashMap<Location,BoundedSet<SymbolicAddress>> initP,
							   HashMap<String,BoundedSet<SymbolicAddress>> initA);

}