|
spot
2.3.3.dev
|
Clone and rewrite a formula to remove specified operators logical operators. More...
#include <spot/tl/unabbrev.hh>

Public Member Functions | |
| unabbreviator (const char *opt=default_unabbrev_string) | |
| Constructor. More... | |
| formula | run (formula in) |
Clone and rewrite a formula to remove specified operators logical operators.
| spot::unabbreviator::unabbreviator | ( | const char * | opt = default_unabbrev_string | ) |
Constructor.
The set of operators to remove should be passed as a string which in which each letter denote an operator (using LBT's convention).
1.8.13