spot 2.12.2
|
This is the complete list of members for spot::unabbreviator, including all inherited members.
run(formula in) (defined in spot::unabbreviator) | spot::unabbreviator | |
unabbreviator(const char *opt=default_unabbrev_string) | spot::unabbreviator |