method
empty

void empty( )

(Not documented.)