param listset object ad param predic object fulfil ad add element list set argouml util predic mutex add element iter 