changed i/f of ivoids() from List to Set