23 #ifndef SPOT_TGBAALGOS_DOTTYDEC_HH
24 # define SPOT_TGBAALGOS_DOTTYDEC_HH
26 # include "misc/common.hh"
33 class tgba_succ_iterator;
60 virtual std::string state_decl(
const tgba* a,
const state* s,
int n,
62 const std::string& label,
83 virtual std::string link_decl(
const tgba* a,
84 const state* in_s,
int in,
85 const state* out_s,
int out,
87 const std::string& label);
97 #endif // SPOT_TGBAALGOS_DOTTYDEC_HH
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by
1.8.4