23 #ifndef SPOT_TGBAALGOS_LTL2TGBA_LACIM_HH
24 # define SPOT_TGBAALGOS_LTL2TGBA_LACIM_HH
27 #include "tgba/tgbabddconcrete.hh"
50 SPOT_API tgba_bdd_concrete*
57 #endif // SPOT_TGBAALGOS_LTL2TGBA_LACIM_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API tgba_bdd_concrete * ltl_to_tgba_lacim(const ltl::formula *f, bdd_dict *dict)
Build a spot::tgba_bdd_concrete from an LTL formula.