Modules
Front End
Petri Net Patterns
Debug Module
Defines
ENTER
LEAVE
Enumerations
trace_level
error_level
Functions
inString
header
footer
in
inup
indown
trace
frontend_owfn_error
SAerror
error
cleanup
Variables
debug_level
Files
ast-tools.cc
ast-tools.h
debug.cc
debug.h
helpers.cc
Petri Net API
communication_type
arc_type
node_type
output_format
Classes
PNapi::Node
PNapi::Transition
PNapi::Place
PNapi::Arc
PNapi::PetriNet
petrinet-output.cc
petrinet-reduction.cc
petrinet.cc
petrinet.h
Class List
ASTE
BPEL4Chor
BPEL4Chor_messageLink
BPEL4Chor_participantSet
CFGBlock
pPartnerLink
s_process_information
s_wsdl_information
WSDL
WSDL_Message
WSDL_Operation
WSDL_PartnerLinkType
WSDL_PortType
Class Hierarchy
Class Members
Graphical Class Hierarchy
Namespace List
colorconsole
globals
PNapi
Namespace Members
File List
ast-details.cc
ast-details.h
bpel2owfn.cc
bpel2owfn.h
cfg.cc
cfg.h
colorconsole.h
extension-chor.cc
extension-chor.h
extension-data.cc
extension-data.h
extension-wsdl.cc
extension-wsdl.h
globals.cc
globals.h
helpers.h
options.cc
options.h
pnapi.h
File Members
Related Pages
Todo List
Bug List
Deprecated List
