26 #include "ltlvisit/lunabbrev.hh"
54 void visit(
const unop* uo);
Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators.
Definition: tunabbrev.hh:46
Clone and rewrite a formula to remove most of the abbreviated logical operators.
Definition: lunabbrev.hh:43
Unary operators.
Definition: unop.hh:38