class AddressSet implements AddressSetView {

	@Override
	public final AddressSet subtract(AddressSetView addrSet) {
		if (addrSet.getNumAddressRanges() == 0) {
			return new AddressSet(this);
		}
		return deleteSets(addrSet);
	}

	public  AddressSet();
	@Deprecated public  AddressSet(AddressFactory factory);
	public  AddressSet(AddressRange range);
	@Deprecated public  AddressSet(AddressFactory factory, AddressRange range);
	public  AddressSet(Address start, Address end);
	@Deprecated public  AddressSet(AddressFactory factory, Address start, Address end);
	public  AddressSet(Program program, Address start, Address end);
	@Deprecated public  AddressSet(AddressFactory factory, AddressSetView set);
	public  AddressSet(AddressSetView set);
	@Deprecated public  AddressSet(AddressFactory factory, Address addr);
	public  AddressSet(Address addr);

}