| ast-details.cc [code] | Annotations of the AST |
| ast-details.h [code] | Annotations of the AST |
| ast-tools.cc [code] | Unparse helper tools |
| ast-tools.h [code] | Unparse helper tools |
| bpel2owfn.cc [code] | BPEL2oWFN's main |
| bpel2owfn.h [code] | |
| cfg.cc [code] | Control flow graph |
| cfg.h [code] | Control flow graph (interface) |
| colorconsole.h [code] | Colored console output |
| debug.cc [code] | Debugging tools |
| debug.h [code] | Debugging tools |
| extension-chor.cc [code] | BPEL4Chor extension |
| extension-chor.h [code] | BPEL4Chor extension |
| extension-data.cc [code] | |
| extension-data.h [code] | |
| extension-wsdl.cc [code] | WSDL extension |
| extension-wsdl.h [code] | WSDL extension |
| globals.cc [code] | Global varialbes |
| globals.h [code] | Global varialbes |
| helpers.cc [code] | Helper functions |
| helpers.h [code] | Helper functions |
| options.cc [code] | Evaluation of command-line options |
| options.h [code] | Evaluation of command-line options |
| petrinet-output.cc [code] | Petri Net API: file output |
| petrinet-reduction.cc [code] | Petri Net API: structural reduction |
| petrinet.cc [code] | Petri Net API: base functions |
| petrinet.h [code] | Petri Net API |
| pnapi.h [code] |
1.5.2