23 #ifndef SPOT_TGBAALGOS_DUPEXP_HH
24 # define SPOT_TGBAALGOS_DUPEXP_HH
26 # include "tgba/tgbaexplicit.hh"
33 SPOT_API tgba_explicit_number*
38 SPOT_API tgba_explicit_number*
44 SPOT_API tgba_explicit_number*
46 std::map<
const state*,
const state*,
47 state_ptr_less_than>& relation);
51 SPOT_API tgba_explicit_number*
53 std::map<
const state*,
const state*,
54 state_ptr_less_than>& relation);
57 #endif // SPOT_TGBAALGOS_DUPEXP_HH