destroy_counter_checked


Description:

public VoidCookie destroy_counter_checked (Counter counter)