20 #ifndef SPOT_LTLVISIT_LBT_HH
21 # define SPOT_LTLVISIT_LBT_HH
44 SPOT_API std::ostream&
62 #endif // SPOT_LTLVISIT_TOSTRING_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API std::string to_lbt_string(const formula *f)
Output an LTL formula as a string in LBT's format.