23 #ifndef SPOT_LTLVISIT_TUNABBREV_HH
24 # define SPOT_LTLVISIT_TUNABBREV_HH
27 #include "ltlvisit/lunabbrev.hh"
55 void visit(
const unop* uo);
72 #endif // SPOT_LTLVISIT_TUNABBREV_HH
Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.
Definition: tunabbrev.hh:47
Clone a formula.
Definition: clone.hh:40
Clone and rewrite a formula to remove most of the abbreviated logical operators.
Definition: lunabbrev.hh:44
Unary operators.
Definition: unop.hh:40