| check(void) | OPCION | |
| crear_glut(int padre) | OPCION | [virtual] |
| crear_motif(Widget padre) | OPCION | [virtual] |
| crear_mswin32sdk(HMENU padre) | OPCION | [virtual] |
| crear_wxw(wxMenu *Padre, int tipo_menu) | OPCION | [virtual] |
| disable(void) | OPCION | |
| enable(void) | OPCION | |
| flags | OPCION | [private] |
| id(void) | OPCION | |
| idc | OPCION | [private] |
| imprimir(void) | OPCION | [virtual] |
| nombre | OPCION | [private] |
| OPCION(char *name, int id) | OPCION | |
| uncheck(void) | OPCION | |
| ~GUI_ELEMENTO() | GUI_ELEMENTO | [virtual] |
| ~OPCION() | OPCION | [virtual] |