20 #ifndef SPOT_TGBAALGOS_ELTL2TGBA_LACIM_HH
21 # define SPOT_TGBAALGOS_ELTL2TGBA_LACIM_HH
24 #include "tgba/tgbabddconcrete.hh"
47 SPOT_API tgba_bdd_concrete*
54 #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 * eltl_to_tgba_lacim(const ltl::formula *f, bdd_dict *dict)
Build a spot::tgba_bdd_concrete from an ELTL formula.