Main Page
|
Class Hierarchy
|
Class List
|
File List
|
Class Members
|
File Members
pnstate.hh File Reference
Go to the source code of this file.
Classes
class
pn_state
Encapsulation of a
compressed_marking
in a
spot::state
.
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