boolean function ( Address arg0 ) { return zombies . contains ( arg0 ) ; }
allow the cluster to determine whether a given physical address is a zombie . concode_field_sep List<Address> members concode_elem_sep List<Address> zombies concode_field_sep void handleArrivingMembers concode_elem_sep void block concode_elem_sep void suspect concode_elem_sep void handleDepartedMembers concode_elem_sep void viewAccepted