23 #ifndef SPOT_TGBA_PUBLIC_HH
24 # define SPOT_TGBA_PUBLIC_HH
28 #ifndef SKIP_DEPRECATED_WARNING
29 #warning This file is deprecated. Include tgba.hh or what you need.
34 # include "tgbabddconcrete.hh"
35 # include "tgbabddconcreteproduct.hh"
36 # include "bddprint.hh"
38 #endif // SPOT_TGBA_PUBLIC_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:43 for spot by
1.8.4