tests to see if all of the federates in the given set have achieved this synchronization point yet or not . if this is a federation-wide synchronization point , the set of given federates should be the set of federates currently in the federation . in this case , this method will return true if all the given federate handles have been recorded as having achieved the point . if this is a restricted synchronization point , the set of given tests to see if all the federates in the given set have achieved the point yet . if this is a private sync point , null should be passed for the argument this will cause the method to use the stored set of federate handles . if this is a federation-wide sync point , a set of all the handles should be passed . assuming that a valid set is given to the method , true will be returned if all the federates in the given set have achieved the point . concode_field_sep Set<Integer> federates concode_elem_sep HashSet<Integer> achieved concode_elem_sep String label concode_elem_sep byte[] tag concode_elem_sep int registrant concode_elem_sep long serialVersionUID concode_elem_sep Status status concode_field_sep void federateAchieved concode_elem_sep String getLabel concode_elem_sep void setFederates concode_elem_sep void requestedRegistration concode_elem_sep boolean hasFederateAchieved concode_elem_sep byte[] getTag concode_elem_sep Status getStatus concode_elem_sep void setStatus concode_elem_sep int getRegistrant concode_elem_sep boolean isFederationWide concode_elem_sep Set<Integer> getFederates concode_elem_sep void setTag concode_elem_sep String toString concode_elem_sep boolean isRestricted
boolean function ( Set < Integer > arg0 ) { if ( arg0 == null || isRestricted ( ) ) arg0 = this . federates ; for ( Integer loc0 : arg0 ) { if ( achieved . contains ( loc0 ) == false ) return false ; } return true ; }