| public | configs | : ? | ||
| private | option_labels | [0..*] | : ? | |
| private | nolabel | [1] | : ? | |
| private | std | [0..*] | : ? | |
| private | invalid | [0..*] | : ? |
| public | new () |
| public | add_configure_option(label : named, std : named, invalid : named, switch : named, nolabel : named) |
| public | is_std() |
| public | is_invalid() |