20 #ifndef SPOT_TGBAALGOS_COMPLETE_HH
21 # define SPOT_TGBAALGOS_COMPLETE_HH
23 #include "tgba/tgbaexplicit.hh"
28 SPOT_API tgba_explicit_number*
32 #endif // SPOT_TGBAALGOS_COMPLETE_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API tgba_explicit_number * tgba_complete(const tgba *aut)
Complete a TGBA.