23 #ifndef SPOT_LTLVISIT_LUNABBREV_HH
24 # define SPOT_LTLVISIT_LUNABBREV_HH
52 void visit(
const binop* bo);
69 #endif // SPOT_LTLVISIT_LUNABBREV_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
Binary operator.
Definition: binop.hh:42
Clone a formula.
Definition: clone.hh:40
SPOT_API const formula * unabbreviate_logic(const formula *f)
Clone and rewrite a formula to remove most of the abbreviated logical operators.
Clone and rewrite a formula to remove most of the abbreviated logical operators.
Definition: lunabbrev.hh:44