Main Page
|
Class Hierarchy
|
Class List
|
File List
|
Class Members
|
File Members
pnsucciter.hh File Reference
Go to the source code of this file.
Classes
class
pn_succ_iterator
Implementation of a
spot::tgba_succ_iterator
for a
marking
.
More...
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Tue Nov 9 16:23:59 2004 for checkpn by
1.3.8