spot
1.99.3
|
Clone and rewrite a formula to remove specified operators logical operators. More...
#include <ltlvisit/unabbrev.hh>
Public Member Functions | |
unabbreviator (const char *opt=default_unabbrev_string) | |
Constructor. More... | |
const formula * | run (const formula *in) |
Clone and rewrite a formula to remove specified operators logical operators.
spot::ltl::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).