22 #ifndef SPOT_IFACE_GSPN_SSP_HH
23 # define SPOT_IFACE_GSPN_SSP_HH
29 # include "tgba/tgba.hh"
31 # include "tgbaalgos/gtec/gtec.hh"
32 # include "tgbaalgos/gtec/ce.hh"
33 # include "ltlenv/declenv.hh"
43 bool inclusion =
false,
44 bool doublehash =
true,
45 bool pushfront =
false);
47 tgba* automaton(
const tgba* operand)
const;
59 bool stack_inclusion =
true,
60 bool double_inclusion =
false,
61 bool reversed_double_inclusion
63 bool no_decomp =
false);
74 #endif // SPOT_IFACE_GSPN_SSP_GSPN_SSP_HH