20 #ifndef SPOT_TGBAALGOS_DTGBACOMP_HH
21 # define SPOT_TGBAALGOS_DTGBACOMP_HH
23 #include "tgba/tgbaexplicit.hh"
33 SPOT_API tgba_explicit_number*
37 #endif // SPOT_TGBAALGOS_DTGBACOMP_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API tgba_explicit_number * dtgba_complement(const tgba *aut)
Complement a deterministic TGBA.