20 #ifndef SPOT_TGBAALGOS_STRIPACC_HH
21 # define SPOT_TGBAALGOS_STRIPACC_HH
23 # include "tgba/tgbaexplicit.hh"
31 SPOT_API sba_explicit_number*
35 #endif // SPOT_TGBAALGOS_STRIPACC_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API sba_explicit_number * strip_acceptance(const tgba *a)
Duplicate automaton a, removing all acceptance sets.