20 #ifndef SPOT_IFACE_GSPN_GSPN_HH
21 # define SPOT_IFACE_GSPN_GSPN_HH
27 # include "tgba/tgba.hh"
29 # include "ltlenv/declenv.hh"
39 const std::string& dead =
"true");
41 tgba* automaton()
const;
45 const std::string dead_;
49 #endif // SPOT_IFACE_GSPN_GSPN_HH
A declarative environment.
Definition: declenv.hh:41
Map BDD variables to formulae.
Definition: bdddict.hh:57
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67