Description of the illustration pdb_change_state.eps
[ pdb_name ] { pdb_open | pdb_close | pdb_save_or_discard_state }