Main Page | Class Hierarchy | Class List | Directories | File List | Class Members | File Members

checkpn Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
compressed_markingImplementation of a compressed ordinary Petri net state (a bit vector)
markingImplementation of an ordinary Petri net state (an int vector)
marking_graph_visitorImplementation of a spot::tgba_reachable_iterator_breadth_first printing all reachable markings of a pn_tgba as well as the firings
petri_netA simple Petri net class
pn_stateEncapsulation of a compressed_marking in a spot::state
pn_succ_iteratorImplementation of a spot::tgba_succ_iterator for a marking
pn_tgbaEncapsulation of a petri_net in a spot::tgba

Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 15:17:13 2005 for checkpn by doxygen 1.4.0