class SymbolicAddressMap {

	public void put(Location l, BoundedSet<SymbolicAddress> bs) {
		if(bs == null) {
			throw new AssertionError("put "+l+": null");
		}
		if(this.isTop()) return;
		this.mapP.put(l, bs);
	}

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

}