-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
139 lines (139 loc) · 142 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
<html><head><meta charset="utf-8"></meta><meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"></meta><title>pml_analyzer</title><link rel="shortcut icon" type="image/x-icon" href="favicon.ico"></link><script type="text/javascript" src="scripts/theme.js"></script><script type="text/javascript" src="scripts/searchData.js" defer="true"></script><script type="text/javascript" src="scripts/scastieConfiguration.js" defer="true"></script><link rel="stylesheet" href="styles/theme/bundle.css"></link><link rel="stylesheet" href="styles/theme/components/bundle.css"></link><link rel="stylesheet" href="styles/theme/components/button/bundle.css"></link><link rel="stylesheet" href="styles/theme/layout/bundle.css"></link><link rel="stylesheet" href="styles/nord-light.css"></link><link rel="stylesheet" href="styles/dotty-icons.css"></link><link rel="stylesheet" href="styles/filter-bar.css"></link><link rel="stylesheet" href="styles/code-snippets.css"></link><link rel="stylesheet" href="styles/searchbar.css"></link><link rel="stylesheet" href="styles/social-links.css"></link><link rel="stylesheet" href="styles/versions-dropdown.css"></link><link rel="stylesheet" href="styles/fontawesome.css"></link><script type="text/javascript" src="hljs/highlight.pack.js" defer="true"></script><script type="text/javascript" src="scripts/hljs-scala3.js" defer="true"></script><script type="text/javascript" src="scripts/ux.js" defer="true"></script><script type="text/javascript" src="scripts/common/component.js" defer="true"></script><script type="text/javascript" src="scripts/common/utils.js" defer="true"></script><script type="text/javascript" src="scripts/components/FilterBar.js" defer="true"></script><script type="text/javascript" src="scripts/components/DocumentableList.js" defer="true"></script><script type="text/javascript" src="scripts/components/Input.js" defer="true"></script><script type="text/javascript" src="scripts/components/FilterGroup.js" defer="true"></script><script type="text/javascript" src="scripts/components/Filter.js" defer="true"></script><script type="text/javascript" src="scripts/scaladoc-scalajs.js" defer="true"></script><script type="text/javascript" src="https://code.jquery.com/jquery-3.5.1.min.js" defer="true"></script><script type="text/javascript" src="https://d3js.org/d3.v6.min.js" defer="true"></script><script type="text/javascript" src="https://cdn.jsdelivr.net/npm/[email protected]/dist/graphlib-dot.min.js" defer="true"></script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/dagre-d3/0.6.1/dagre-d3.min.js" defer="true"></script><script type="text/javascript" src="https://scastie.scala-lang.org/embedded.js" defer="true"></script><script type="text/javascript" src="scripts/data.js" defer="true"></script><link rel="stylesheet" href="styles/apistyles.css"></link><script>var pathToRoot = "";</script></head><body><div id=""><div id="header" class="body-small"><div class="header-container-left"><a href="" class="logo-container"><span id="project-logo" class="project-logo"><img src="project-logo/phylog_logo.gif"></img></span><span id="project-logo" class="project-logo"><img src="project-logo/phylog_logo.gif"></img></span><span class="project-name h300">pml_analyzer</span></a><span onclick="dropdownHandler(event)" class="text-button with-arrow" id="dropdown-trigger"><a></a></span><div id="version-dropdown" class="dropdown-menu"></div></div><div class="header-container-right"><button id="search-toggle" class="icon-button"></button><span id="theme-toggle" class="icon-button"></span><span id="mobile-menu-toggle" class="icon-button hamburger"></span></div></div><div id="mobile-menu"><div class="mobile-menu-header body-small"><span class="mobile-menu-logo"><span id="project-logo" class="project-logo"><img src="project-logo/phylog_logo.gif"></img></span><span id="project-logo" class="project-logo"><img src="project-logo/phylog_logo.gif"></img></span><span class="project-name h300">pml_analyzer</span></span><button id="mobile-menu-close" class="icon-button close"></button></div><div class="mobile-menu-container body-medium"><input id="mobile-scaladoc-searchbar-input" class="scaladoc-searchbar-input" type="search" placeholder="Find anything"></input><span id="mobile-theme-toggle" class="mobile-menu-item mode"></span></div></div><span id="mobile-sidebar-toggle" class="floating-button"></span><div id="leftColumn" class="body-small"><div class="switcher-container"><a id="docs-nav-button" class="switcher h100 " href="docs/index.html">Docs</a><a id="api-nav-button" class="switcher h100 selected" href="index.html">API</a></div><nav id="api-nav" class="side-menu"><div class="ni n0 "><span class="nh "><a href="onera/pmlanalyzer/pml.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml</span></a></span></div><div class="ni n0 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.examples</span></a></span></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/examples/simpleKeystone.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.examples.simpleKeystone</span></a></span><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$.html"><span class="micon ob"></span><span>SimpleKeystoneExport</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$$SimpleKeystoneConfiguredFull$.html"><span class="micon ob"></span><span>SimpleKeystoneConfiguredFull</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$$SimpleKeystoneConfiguredNoL1$.html"><span class="micon ob"></span><span>SimpleKeystoneConfiguredNoL1</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$$SimpleKeystoneConfiguredPlanApp21$.html"><span class="micon ob"></span><span>SimpleKeystoneConfiguredPlanApp21</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$$SimpleKeystoneConfiguredPlanApp22$.html"><span class="micon ob"></span><span>SimpleKeystoneConfiguredPlanApp22</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfiguration.html"><span class="micon tr"></span><span>SimpleKeystoneLibraryConfiguration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.html"><span class="micon tr"></span><span>SimpleKeystoneLibraryConfigurationFull</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationNoL1.html"><span class="micon tr"></span><span>SimpleKeystoneLibraryConfigurationNoL1</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp21.html"><span class="micon tr"></span><span>SimpleKeystoneLibraryConfigurationPlanApp21</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp22.html"><span class="micon tr"></span><span>SimpleKeystoneLibraryConfigurationPlanApp22</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform.html"><span class="micon cl"></span><span>SimpleKeystonePlatform</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform$ARMCore.html"><span class="micon cl"></span><span>ARMCore</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform$MemorySubsystem$.html"><span class="micon ob"></span><span>MemorySubsystem</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform$TeraNet$.html"><span class="micon ob"></span><span>TeraNet</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.html"><span class="micon tr"></span><span>SimpleKeystoneTransactionLibrary</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleRoutingConfiguration.html"><span class="micon tr"></span><span>SimpleRoutingConfiguration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleSoftwareAllocation.html"><span class="micon tr"></span><span>SimpleSoftwareAllocation</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/examples/simpleT1042.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.examples.simpleT1042</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleRoutingConfiguration.html"><span class="micon tr"></span><span>SimpleRoutingConfiguration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleSoftwareAllocation.html"><span class="micon tr"></span><span>SimpleSoftwareAllocation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Export$.html"><span class="micon ob"></span><span>SimpleT1042Export</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Export$$SimpleT1042ConfiguredFull$.html"><span class="micon ob"></span><span>SimpleT1042ConfiguredFull</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Export$$SimpleT1042ConfiguredNoL1$.html"><span class="micon ob"></span><span>SimpleT1042ConfiguredNoL1</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Export$$SimpleT1042ConfiguredPlanApp21$.html"><span class="micon ob"></span><span>SimpleT1042ConfiguredPlanApp21</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Export$$SimpleT1042ConfiguredPlanApp22$.html"><span class="micon ob"></span><span>SimpleT1042ConfiguredPlanApp22</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042LibraryConfiguration.html"><span class="micon tr"></span><span>SimpleT1042LibraryConfiguration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationFull.html"><span class="micon tr"></span><span>SimpleT1042LibraryConfigurationFull</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationNoL1.html"><span class="micon tr"></span><span>SimpleT1042LibraryConfigurationNoL1</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp21.html"><span class="micon tr"></span><span>SimpleT1042LibraryConfigurationPlanApp21</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp22.html"><span class="micon tr"></span><span>SimpleT1042LibraryConfigurationPlanApp22</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Platform.html"><span class="micon cl"></span><span>SimpleT1042Platform</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042Platform$CachedCore.html"><span class="micon cl"></span><span>CachedCore</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/examples/simpleT1042/SimpleT1042TransactionLibrary.html"><span class="micon tr"></span><span>SimpleT1042TransactionLibrary</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/exporters.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.exporters</span></a></span><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/exporters/FileManager$.html"><span class="micon ob"></span><span>FileManager</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/FileManager$$OutputDirectory.html"><span class="micon cl"></span><span>OutputDirectory</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/FileManager$$OutputDirectory$.html"><span class="micon ob"></span><span>OutputDirectory</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/exporters/RelationExporter$.html"><span class="micon ob"></span><span>RelationExporter</span></a></span><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/exporters/RelationExporter$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/RelationExporter$$Ops$Ops.html"><span class="micon cl"></span><span>Ops</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/RelationExporter$$Ops$OpsConfig.html"><span class="micon cl"></span><span>OpsConfig</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/RelationExporter$$Ops$OpsLibrary.html"><span class="micon cl"></span><span>OpsLibrary</span></a></span></div></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$.html"><span class="micon ob"></span><span>UMLExporter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$DOTHWAndSWClosureOnly$.html"><span class="micon ob"></span><span>DOTHWAndSWClosureOnly</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$DOTHWAndSWOnly$.html"><span class="micon ob"></span><span>DOTHWAndSWOnly</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$DOTRelationExporter.html"><span class="micon tr"></span><span>DOTRelationExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$DOTServiceAndSWClosureOnly$.html"><span class="micon ob"></span><span>DOTServiceAndSWClosureOnly</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$DOTServiceOnly$.html"><span class="micon ob"></span><span>DOTServiceOnly</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullDOT$.html"><span class="micon ob"></span><span>FullDOT</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullDOTHWNamer.html"><span class="micon tr"></span><span>FullDOTHWNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullDOTPlatformNamer.html"><span class="micon tr"></span><span>FullDOTPlatformNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullDOTSWNamer.html"><span class="micon tr"></span><span>FullDOTSWNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullDOTServiceNamer.html"><span class="micon tr"></span><span>FullDOTServiceNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullHWExporter.html"><span class="micon tr"></span><span>FullHWExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullPlatformExporter.html"><span class="micon tr"></span><span>FullPlatformExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullSWExporter.html"><span class="micon tr"></span><span>FullSWExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$FullServiceExporter.html"><span class="micon tr"></span><span>FullServiceExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$HWExporter.html"><span class="micon tr"></span><span>HWExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$HWNamer.html"><span class="micon tr"></span><span>HWNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullHWExporter.html"><span class="micon tr"></span><span>NullHWExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullHWNamer.html"><span class="micon tr"></span><span>NullHWNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullPlatformNamer.html"><span class="micon tr"></span><span>NullPlatformNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullSWExporter.html"><span class="micon tr"></span><span>NullSWExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullSWNamer.html"><span class="micon tr"></span><span>NullSWNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullServiceExporter.html"><span class="micon tr"></span><span>NullServiceExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$NullServiceNamer.html"><span class="micon tr"></span><span>NullServiceNamer</span></a></span></div><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$Ops$UmlExporterOps.html"><span class="micon cl"></span><span>UmlExporterOps</span></a></span></div></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$PlatformExporter.html"><span class="micon tr"></span><span>PlatformExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$PlatformNamer.html"><span class="micon tr"></span><span>PlatformNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$RelationExporter.html"><span class="micon tr"></span><span>RelationExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$RestrictedPlatformExporter.html"><span class="micon tr"></span><span>RestrictedPlatformExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$SWExporter.html"><span class="micon tr"></span><span>SWExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$SWNamer.html"><span class="micon tr"></span><span>SWNamer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$ServiceExporter.html"><span class="micon tr"></span><span>ServiceExporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$ServiceNamer.html"><span class="micon tr"></span><span>ServiceNamer</span></a></span></div></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/PMLNode.html"><span class="micon cl"></span><span>PMLNode</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/PMLNodeBuilder.html"><span class="micon tr"></span><span>PMLNodeBuilder</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/configuration.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model.configuration</span></a></span><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary.html"><span class="micon tr"></span><span>TransactionLibrary</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$Scenario.html"><span class="micon cl"></span><span>Scenario</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$Scenario$.html"><span class="micon ob"></span><span>Scenario</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$ScenarioLike.html"><span class="micon cl"></span><span>ScenarioLike</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$ScenarioOps.html"><span class="micon cl"></span><span>ScenarioOps</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$Transaction.html"><span class="micon cl"></span><span>Transaction</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$Transaction$.html"><span class="micon ob"></span><span>Transaction</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$UsedScenario.html"><span class="micon cl"></span><span>UsedScenario</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$UsedScenario$.html"><span class="micon ob"></span><span>UsedScenario</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$UsedTransaction.html"><span class="micon cl"></span><span>UsedTransaction</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$UsedTransaction$.html"><span class="micon ob"></span><span>UsedTransaction</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$UserTransactionOps.html"><span class="micon cl"></span><span>UserTransactionOps</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$.html"><span class="micon ob"></span><span>TransactionLibrary</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$$UserId.html"><span class="micon cl"></span><span>UserId</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$$UserScenarioId.html"><span class="micon cl"></span><span>UserScenarioId</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$$UserTransactionId.html"><span class="micon cl"></span><span>UserTransactionId</span></a></span></div></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/hardware.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model.hardware</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/BaseHardwareNodeBuilder.html"><span class="micon tr"></span><span>BaseHardwareNodeBuilder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Composite.html"><span class="micon cl"></span><span>Composite</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Composite$.html"><span class="micon ob"></span><span>Composite</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Hardware.html"><span class="micon cl"></span><span>Hardware</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Initiator.html"><span class="micon cl"></span><span>Initiator</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Initiator$.html"><span class="micon ob"></span><span>Initiator</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/hardware/Platform.html"><span class="micon cl"></span><span>Platform</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Platform$PhysicalTransactionOps.html"><span class="micon cl"></span><span>PhysicalTransactionOps</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Platform$.html"><span class="micon ob"></span><span>Platform</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/SimpleTransporter.html"><span class="micon cl"></span><span>SimpleTransporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/SimpleTransporter$.html"><span class="micon ob"></span><span>SimpleTransporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Target.html"><span class="micon cl"></span><span>Target</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Target$.html"><span class="micon ob"></span><span>Target</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Transporter.html"><span class="micon cl"></span><span>Transporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Virtualizer.html"><span class="micon cl"></span><span>Virtualizer</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/hardware/Virtualizer$.html"><span class="micon ob"></span><span>Virtualizer</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model.relations</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/AntiReflexiveSymmetricEndomorphism.html"><span class="micon cl"></span><span>AntiReflexiveSymmetricEndomorphism</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/AuthorizeRelation.html"><span class="micon cl"></span><span>AuthorizeRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations/AuthorizeRelation$.html"><span class="micon ob"></span><span>AuthorizeRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/AuthorizeRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/Endomorphism.html"><span class="micon cl"></span><span>Endomorphism</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/LinkRelation.html"><span class="micon cl"></span><span>LinkRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations/LinkRelation$.html"><span class="micon ob"></span><span>LinkRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/LinkRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/ProvideRelation.html"><span class="micon cl"></span><span>ProvideRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations/ProvideRelation$.html"><span class="micon ob"></span><span>ProvideRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/ProvideRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/ReflexiveSymmetricEndomorphism.html"><span class="micon cl"></span><span>ReflexiveSymmetricEndomorphism</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/Relation.html"><span class="micon cl"></span><span>Relation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations/Relation$.html"><span class="micon ob"></span><span>Relation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/Relation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/RoutingRelation.html"><span class="micon cl"></span><span>RoutingRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations/RoutingRelation$.html"><span class="micon ob"></span><span>RoutingRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/RoutingRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/UseRelation.html"><span class="micon cl"></span><span>UseRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/relations/UseRelation$.html"><span class="micon ob"></span><span>UseRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/relations/UseRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/service.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model.service</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/ArtificialService.html"><span class="micon cl"></span><span>ArtificialService</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/ArtificialService$.html"><span class="micon ob"></span><span>ArtificialService</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/BaseServiceBuilder.html"><span class="micon tr"></span><span>BaseServiceBuilder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/Load.html"><span class="micon cl"></span><span>Load</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/Load$.html"><span class="micon ob"></span><span>Load</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/Service.html"><span class="micon cl"></span><span>Service</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/Store.html"><span class="micon cl"></span><span>Store</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/service/Store$.html"><span class="micon ob"></span><span>Store</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/software.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model.software</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/software/Application.html"><span class="micon cl"></span><span>Application</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/software/Application$.html"><span class="micon ob"></span><span>Application</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/software/BaseSoftwareNodeBuilder.html"><span class="micon tr"></span><span>BaseSoftwareNodeBuilder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/software/Data.html"><span class="micon cl"></span><span>Data</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/software/Data$.html"><span class="micon ob"></span><span>Data</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/model/utils.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.model.utils</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/utils/Message$.html"><span class="micon ob"></span><span>Message</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/model/utils/Owner.html"><span class="micon cl"></span><span>Owner</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators.html"><span class="micon pa"></span><span>onera.pmlanalyzer.pml.operators</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/AsTransaction.html"><span class="micon tr"></span><span>AsTransaction</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/AsTransaction$.html"><span class="micon ob"></span><span>AsTransaction</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/AsTransaction$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Deactivate.html"><span class="micon tr"></span><span>Deactivate</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Deactivate$.html"><span class="micon ob"></span><span>Deactivate</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Deactivate$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link.html"><span class="micon tr"></span><span>Link</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Link$.html"><span class="micon ob"></span><span>Link</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$given_HardwareLink_Initiator_Target$.html"><span class="micon ob"></span><span>given_HardwareLink_Initiator_Target</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$given_HardwareLink_Initiator_Transporter$.html"><span class="micon ob"></span><span>given_HardwareLink_Initiator_Transporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$given_HardwareLink_Transporter_Target$.html"><span class="micon ob"></span><span>given_HardwareLink_Transporter_Target</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$given_HardwareLink_Transporter_Transporter$.html"><span class="micon ob"></span><span>given_HardwareLink_Transporter_Transporter</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$given_ServiceLink_Load_Load$.html"><span class="micon ob"></span><span>given_ServiceLink_Load_Load</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Link$$given_ServiceLink_Store_Store$.html"><span class="micon ob"></span><span>given_ServiceLink_Store_Store</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Linked.html"><span class="micon tr"></span><span>Linked</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Linked$.html"><span class="micon ob"></span><span>Linked</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Linked$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Merge.html"><span class="micon tr"></span><span>Merge</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Merge$.html"><span class="micon ob"></span><span>Merge</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Merge$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Provided.html"><span class="micon tr"></span><span>Provided</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Provided$.html"><span class="micon ob"></span><span>Provided</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Provided$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Restrict.html"><span class="micon tr"></span><span>Restrict</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Restrict$.html"><span class="micon ob"></span><span>Restrict</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Restrict$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Route$.html"><span class="micon ob"></span><span>Route</span></a></span><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Route$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Route$$Ops$SimpleRouteIdentifyRouter.html"><span class="micon cl"></span><span>SimpleRouteIdentifyRouter</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Route$$Ops$SimpleRouterIdentifyNext.html"><span class="micon cl"></span><span>SimpleRouterIdentifyNext</span></a></span></div></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Use.html"><span class="micon tr"></span><span>Use</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Use$.html"><span class="micon ob"></span><span>Use</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Use$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Used.html"><span class="micon tr"></span><span>Used</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/pml/operators/Used$.html"><span class="micon ob"></span><span>Used</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/pml/operators/Used$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div></div><div class="ni n0 "><span class="nh "><a href="onera/pmlanalyzer/views.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views</span></a></span></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/executor.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.dependability.executor</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/executor/Scheduler.html"><span class="micon tr"></span><span>Scheduler</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/executor/Simulator$.html"><span class="micon ob"></span><span>Simulator</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/executor/Synchronize$.html"><span class="micon ob"></span><span>Synchronize</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/executor/WorstCaseSchedule$.html"><span class="micon ob"></span><span>WorstCaseSchedule</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/exporters.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.dependability.exporters</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/AutomatonCeciliaExporter.html"><span class="micon tr"></span><span>AutomatonCeciliaExporter</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/exporters/BasicOperationCeciliaExporter.html"><span class="micon tr"></span><span>BasicOperationCeciliaExporter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/BasicOperationCeciliaExporter$WorstSchedulerTopHelper.html"><span class="micon cl"></span><span>WorstSchedulerTopHelper</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/BlockModel.html"><span class="micon tr"></span><span>BlockModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaBoolean$.html"><span class="micon ob"></span><span>CeciliaBoolean</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaExporter.html"><span class="micon tr"></span><span>CeciliaExporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaExporter$.html"><span class="micon ob"></span><span>CeciliaExporter</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaExporterOps.html"><span class="micon tr"></span><span>CeciliaExporterOps</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaExporterOps$ceciliaOps.html"><span class="micon cl"></span><span>ceciliaOps</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaFolder.html"><span class="micon tr"></span><span>CeciliaFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/CeciliaType.html"><span class="micon tr"></span><span>CeciliaType</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/ComponentModel.html"><span class="micon cl"></span><span>ComponentModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/ComponentModel$.html"><span class="micon ob"></span><span>ComponentModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/ConcreteEventModel.html"><span class="micon tr"></span><span>ConcreteEventModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Configuration.html"><span class="micon cl"></span><span>Configuration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/DeterministicEventModel.html"><span class="micon cl"></span><span>DeterministicEventModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/EntityFolder.html"><span class="micon cl"></span><span>EntityFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/EnumeratedType.html"><span class="micon cl"></span><span>EnumeratedType</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/EnumeratedType$.html"><span class="micon ob"></span><span>EnumeratedType</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/EquipmentModel.html"><span class="micon cl"></span><span>EquipmentModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/EquipmentModel$.html"><span class="micon ob"></span><span>EquipmentModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/EventModel.html"><span class="micon tr"></span><span>EventModel</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/exporters/ExprCeciliaExporter.html"><span class="micon tr"></span><span>ExprCeciliaExporter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/ExprCeciliaExporter$AssertionHelper.html"><span class="micon cl"></span><span>AssertionHelper</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/FailureConditions.html"><span class="micon cl"></span><span>FailureConditions</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/FamilyFolder.html"><span class="micon cl"></span><span>FamilyFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/FamilyFolder$.html"><span class="micon ob"></span><span>FamilyFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Flow.html"><span class="micon cl"></span><span>Flow</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Folder.html"><span class="micon tr"></span><span>Folder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Folder$.html"><span class="micon ob"></span><span>Folder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/GenericImage$.html"><span class="micon ob"></span><span>GenericImage</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/ImageModel.html"><span class="micon cl"></span><span>ImageModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/ImageModel$.html"><span class="micon ob"></span><span>ImageModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/In$.html"><span class="micon ob"></span><span>In</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Local$.html"><span class="micon ob"></span><span>Local</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model.html"><span class="micon tr"></span><span>Model</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/exporters/Model$.html"><span class="micon ob"></span><span>Model</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$ComponentDescriptor$.html"><span class="micon ob"></span><span>ComponentDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$EnumeratedTypeDescriptor$.html"><span class="micon ob"></span><span>EnumeratedTypeDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$EquiBlockFlowPlacer.html"><span class="micon tr"></span><span>EquiBlockFlowPlacer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$EquipmentDescriptor$.html"><span class="micon ob"></span><span>EquipmentDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$FlowPlacer.html"><span class="micon tr"></span><span>FlowPlacer</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$ImgDescriptor$.html"><span class="micon ob"></span><span>ImgDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$ModelDescriptor$.html"><span class="micon ob"></span><span>ModelDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$ModelDescriptor.html"><span class="micon tr"></span><span>ModelDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$OperatorDescriptor$.html"><span class="micon ob"></span><span>OperatorDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$RecordTypeDescriptor$.html"><span class="micon ob"></span><span>RecordTypeDescriptor</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Model$$SystemDescriptor$.html"><span class="micon ob"></span><span>SystemDescriptor</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/OperatorModel.html"><span class="micon cl"></span><span>OperatorModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/OperatorModel$.html"><span class="micon ob"></span><span>OperatorModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Orientation.html"><span class="micon tr"></span><span>Orientation</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/Out$.html"><span class="micon ob"></span><span>Out</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/PhylogFolder$.html"><span class="micon ob"></span><span>PhylogFolder</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/exporters/PlatformCeciliaExporter.html"><span class="micon tr"></span><span>PlatformCeciliaExporter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/PlatformCeciliaExporter$DependabilitySpecification$.html"><span class="micon ob"></span><span>DependabilitySpecification</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/PlatformCeciliaExporter$DependabilitySpecification.html"><span class="micon tr"></span><span>DependabilitySpecification</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/PlatformCeciliaExporter$platformExportOps.html"><span class="micon cl"></span><span>platformExportOps</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/RecordType.html"><span class="micon cl"></span><span>RecordType</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/RecordType$.html"><span class="micon ob"></span><span>RecordType</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/RootFolder$.html"><span class="micon ob"></span><span>RootFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SoftwareCeciliaExporter.html"><span class="micon tr"></span><span>SoftwareCeciliaExporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/State.html"><span class="micon cl"></span><span>State</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/StochastiqueEventModel.html"><span class="micon cl"></span><span>StochastiqueEventModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SubComponent.html"><span class="micon cl"></span><span>SubComponent</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SubFamilyFolder.html"><span class="micon cl"></span><span>SubFamilyFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SubFamilyFolder$.html"><span class="micon ob"></span><span>SubFamilyFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SubFolder.html"><span class="micon tr"></span><span>SubFolder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SynchroEventModel.html"><span class="micon cl"></span><span>SynchroEventModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SystemCeciliaExporter.html"><span class="micon tr"></span><span>SystemCeciliaExporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SystemModel.html"><span class="micon cl"></span><span>SystemModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/SystemModel$.html"><span class="micon ob"></span><span>SystemModel</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/TargetCeciliaExporter.html"><span class="micon tr"></span><span>TargetCeciliaExporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/TransporterCeciliaExporter.html"><span class="micon tr"></span><span>TransporterCeciliaExporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/TypeCeciliaExporter.html"><span class="micon tr"></span><span>TypeCeciliaExporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/exporters/VersionFolder.html"><span class="micon cl"></span><span>VersionFolder</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/model.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.dependability.model</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/And.html"><span class="micon cl"></span><span>And</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Application.html"><span class="micon cl"></span><span>Application</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Application$.html"><span class="micon ob"></span><span>Application</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/AutomatonId.html"><span class="micon cl"></span><span>AutomatonId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/BasicTransporter.html"><span class="micon cl"></span><span>BasicTransporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Best.html"><span class="micon cl"></span><span>Best</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/BoolExpr.html"><span class="micon tr"></span><span>BoolExpr</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Builder.html"><span class="micon tr"></span><span>Builder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Component.html"><span class="micon tr"></span><span>Component</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ConcreteEvent.html"><span class="micon tr"></span><span>ConcreteEvent</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Const.html"><span class="micon cl"></span><span>Const</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Copy.html"><span class="micon cl"></span><span>Copy</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/model/CustomTypes$.html"><span class="micon ob"></span><span>CustomTypes</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/CustomTypes$$Request$.html"><span class="micon ob"></span><span>Request</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/CustomTypes$$TargetStatus$.html"><span class="micon ob"></span><span>TargetStatus</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/DMap.html"><span class="micon cl"></span><span>DMap</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Descriptor.html"><span class="micon cl"></span><span>Descriptor</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Descriptor$.html"><span class="micon ob"></span><span>Descriptor</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/DetermisticEvent.html"><span class="micon cl"></span><span>DetermisticEvent</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/DetermisticEvent$.html"><span class="micon ob"></span><span>DetermisticEvent</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Equal.html"><span class="micon cl"></span><span>Equal</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Event.html"><span class="micon tr"></span><span>Event</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Expr.html"><span class="micon tr"></span><span>Expr</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$.html"><span class="micon ob"></span><span>ExprImplicits</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$AndBuilder.html"><span class="micon cl"></span><span>AndBuilder</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$DataExtension.html"><span class="micon cl"></span><span>DataExtension</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$EqualBuilder.html"><span class="micon cl"></span><span>EqualBuilder</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$IT.html"><span class="micon cl"></span><span>IT</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$If.html"><span class="micon cl"></span><span>If</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$OfBuilder.html"><span class="micon cl"></span><span>OfBuilder</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$OrBuilder.html"><span class="micon cl"></span><span>OrBuilder</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$PMLTargetExtension.html"><span class="micon cl"></span><span>PMLTargetExtension</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$TargetExtension.html"><span class="micon cl"></span><span>TargetExtension</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ExprImplicits$$TargetIdExtension.html"><span class="micon cl"></span><span>TargetIdExtension</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/FMAutomaton.html"><span class="micon cl"></span><span>FMAutomaton</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ITE.html"><span class="micon cl"></span><span>ITE</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Id.html"><span class="micon tr"></span><span>Id</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/model/IdBuilder.html"><span class="micon tr"></span><span>IdBuilder</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/IdBuilder$TIsFinite$.html"><span class="micon ob"></span><span>TIsFinite</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Initiator.html"><span class="micon cl"></span><span>Initiator</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Initiator$.html"><span class="micon ob"></span><span>Initiator</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InitiatorId.html"><span class="micon cl"></span><span>InitiatorId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InitiatorId$.html"><span class="micon ob"></span><span>InitiatorId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputDepTarget.html"><span class="micon cl"></span><span>InputDepTarget</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputDepTarget$.html"><span class="micon ob"></span><span>InputDepTarget</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputFMAutomaton.html"><span class="micon cl"></span><span>InputFMAutomaton</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputFMAutomaton$.html"><span class="micon ob"></span><span>InputFMAutomaton</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputInDepTarget.html"><span class="micon cl"></span><span>InputInDepTarget</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputInDepTarget$.html"><span class="micon ob"></span><span>InputInDepTarget</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputPort.html"><span class="micon cl"></span><span>InputPort</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/InputPort$.html"><span class="micon ob"></span><span>InputPort</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Linker.html"><span class="micon tr"></span><span>Linker</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/LocalVariable.html"><span class="micon cl"></span><span>LocalVariable</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/ModeAutomaton.html"><span class="micon cl"></span><span>ModeAutomaton</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Not.html"><span class="micon cl"></span><span>Not</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Of.html"><span class="micon cl"></span><span>Of</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Or.html"><span class="micon cl"></span><span>Or</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/OutputPort.html"><span class="micon cl"></span><span>OutputPort</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Owner.html"><span class="micon tr"></span><span>Owner</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SimpleFMAutomaton.html"><span class="micon cl"></span><span>SimpleFMAutomaton</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SimpleFMAutomaton$.html"><span class="micon ob"></span><span>SimpleFMAutomaton</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SimpleTransporter.html"><span class="micon cl"></span><span>SimpleTransporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SimpleTransporter$.html"><span class="micon ob"></span><span>SimpleTransporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Software.html"><span class="micon tr"></span><span>Software</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SoftwareId.html"><span class="micon cl"></span><span>SoftwareId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SoftwareId$.html"><span class="micon ob"></span><span>SoftwareId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/StochasticEvent.html"><span class="micon cl"></span><span>StochasticEvent</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/StochasticEvent$.html"><span class="micon ob"></span><span>StochasticEvent</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/SynchroEvent.html"><span class="micon cl"></span><span>SynchroEvent</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/model/System.html"><span class="micon cl"></span><span>System</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/System$listExtensionMethods.html"><span class="micon cl"></span><span>listExtensionMethods</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Target.html"><span class="micon tr"></span><span>Target</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/TargetId.html"><span class="micon cl"></span><span>TargetId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/TargetId$.html"><span class="micon ob"></span><span>TargetId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Transition.html"><span class="micon cl"></span><span>Transition</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Transporter.html"><span class="micon cl"></span><span>Transporter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/TransporterId.html"><span class="micon cl"></span><span>TransporterId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Variable.html"><span class="micon tr"></span><span>Variable</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Variable$.html"><span class="micon ob"></span><span>Variable</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/VariableId.html"><span class="micon cl"></span><span>VariableId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/VariableId$.html"><span class="micon ob"></span><span>VariableId</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Virtualizer.html"><span class="micon cl"></span><span>Virtualizer</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Virtualizer$.html"><span class="micon ob"></span><span>Virtualizer</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/model/Worst.html"><span class="micon cl"></span><span>Worst</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/operators.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.dependability.operators</span></a></span><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/operators/IsCriticityOrderingOps.html"><span class="micon tr"></span><span>IsCriticityOrderingOps</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsCriticityOrderingOps$CriticityOrderOps.html"><span class="micon cl"></span><span>CriticityOrderOps</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsFinite.html"><span class="micon tr"></span><span>IsFinite</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsFinite$.html"><span class="micon ob"></span><span>IsFinite</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/operators/IsFiniteOps.html"><span class="micon tr"></span><span>IsFiniteOps</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsFiniteOps$hasName.html"><span class="micon cl"></span><span>hasName</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsMergeable.html"><span class="micon tr"></span><span>IsMergeable</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsMergeable$.html"><span class="micon ob"></span><span>IsMergeable</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/operators/IsMergeableOps.html"><span class="micon tr"></span><span>IsMergeableOps</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsMergeableOps$IsMergeableOps.html"><span class="micon cl"></span><span>IsMergeableOps</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsOptionLike.html"><span class="micon tr"></span><span>IsOptionLike</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/operators/IsOptionLikeOps.html"><span class="micon tr"></span><span>IsOptionLikeOps</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsOptionLikeOps$IsOptionLikeOps.html"><span class="micon cl"></span><span>IsOptionLikeOps</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsShadowOrdering.html"><span class="micon tr"></span><span>IsShadowOrdering</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsShadowOrdering$.html"><span class="micon ob"></span><span>IsShadowOrdering</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/dependability/operators/IsShadowOrderingOps.html"><span class="micon tr"></span><span>IsShadowOrderingOps</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/dependability/operators/IsShadowOrderingOps$IsShadowingOps.html"><span class="micon cl"></span><span>IsShadowingOps</span></a></span></div></div></div><div class="ni n0 "><span class="nh "><a href="onera/pmlanalyzer/views/interference.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference</span></a></span></div><div class="ni n0 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.examples</span></a></span></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.examples.simpleKeystone</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>SimpleKeystoneApplicativeTableBasedInterferenceSpecification</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration$.html"><span class="micon ob"></span><span>SimpleKeystoneInterferenceGeneration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>SimpleKeystonePhysicalTableBasedInterferenceSpecification</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/examples/simpleT1042.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.examples.simpleT1042</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples/simpleT1042/SimpleT1042ApplicativeTableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>SimpleT1042ApplicativeTableBasedInterferenceSpecification</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples/simpleT1042/SimpleT1042InterferenceGeneration$.html"><span class="micon ob"></span><span>SimpleT1042InterferenceGeneration</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/examples/simpleT1042/SimpleT1042PhysicalTableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>SimpleT1042PhysicalTableBasedInterferenceSpecification</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/exporters.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.exporters</span></a></span><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/exporters/IDPExporter$.html"><span class="micon ob"></span><span>IDPExporter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/exporters/IDPExporter$$IDPPlatformExporter$.html"><span class="micon ob"></span><span>IDPPlatformExporter</span></a></span></div><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/exporters/IDPExporter$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/exporters/IDPExporter$$Ops$IdpExporterOps.html"><span class="micon cl"></span><span>IdpExporterOps</span></a></span></div></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/exporters/InterferenceGraphExporter$.html"><span class="micon ob"></span><span>InterferenceGraphExporter</span></a></span><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/exporters/InterferenceGraphExporter$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/exporters/InterferenceGraphExporter$$Ops$InterferenceGraphExporterOps.html"><span class="micon cl"></span><span>InterferenceGraphExporterOps</span></a></span></div></div></div></div><div class="ni n0 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.model</span></a></span></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/formalisation.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.model.formalisation</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/ALit.html"><span class="micon tr"></span><span>ALit</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/And.html"><span class="micon cl"></span><span>And</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Assert.html"><span class="micon tr"></span><span>Assert</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/AssertPB.html"><span class="micon cl"></span><span>AssertPB</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/BDDFactory.html"><span class="micon cl"></span><span>BDDFactory</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/BaseBDDFactory.html"><span class="micon tr"></span><span>BaseBDDFactory</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Equal.html"><span class="micon cl"></span><span>Equal</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/formalisation/GenBDDFactory.html"><span class="micon tr"></span><span>GenBDDFactory</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/GenBDDFactory$FactoryImplicits$.html"><span class="micon ob"></span><span>FactoryImplicits</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Implies.html"><span class="micon cl"></span><span>Implies</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/MEdge.html"><span class="micon cl"></span><span>MEdge</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/MEdgeLit.html"><span class="micon cl"></span><span>MEdgeLit</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/MGraph.html"><span class="micon cl"></span><span>MGraph</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/MLit.html"><span class="micon cl"></span><span>MLit</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/MNode.html"><span class="micon cl"></span><span>MNode</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Not.html"><span class="micon cl"></span><span>Not</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Or.html"><span class="micon cl"></span><span>Or</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Problem.html"><span class="micon cl"></span><span>Problem</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Problem$.html"><span class="micon ob"></span><span>Problem</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/ProblemElement.html"><span class="micon tr"></span><span>ProblemElement</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/ProblemElement$.html"><span class="micon ob"></span><span>ProblemElement</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/Reaches.html"><span class="micon cl"></span><span>Reaches</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/SimpleAssert.html"><span class="micon cl"></span><span>SimpleAssert</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/formalisation/SymbolBDDFactory.html"><span class="micon cl"></span><span>SymbolBDDFactory</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/relations.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.model.relations</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/EquivalenceRelation.html"><span class="micon cl"></span><span>EquivalenceRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/relations/EquivalenceRelation$.html"><span class="micon ob"></span><span>EquivalenceRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/EquivalenceRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/ExclusiveRelation.html"><span class="micon cl"></span><span>ExclusiveRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/relations/ExclusiveRelation$.html"><span class="micon ob"></span><span>ExclusiveRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/ExclusiveRelation$$ApplicationInstances.html"><span class="micon tr"></span><span>ApplicationInstances</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/ExclusiveRelation$$GeneralInstances.html"><span class="micon tr"></span><span>GeneralInstances</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/ExclusiveRelation$$LibraryInstances.html"><span class="micon tr"></span><span>LibraryInstances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/InterfereRelation.html"><span class="micon cl"></span><span>InterfereRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/relations/InterfereRelation$.html"><span class="micon ob"></span><span>InterfereRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/InterfereRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/NotInterfereRelation.html"><span class="micon cl"></span><span>NotInterfereRelation</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/relations/NotInterfereRelation$.html"><span class="micon ob"></span><span>NotInterfereRelation</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/NotInterfereRelation$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/TransparentSet.html"><span class="micon cl"></span><span>TransparentSet</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/relations/TransparentSet$.html"><span class="micon ob"></span><span>TransparentSet</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/relations/TransparentSet$$Instances.html"><span class="micon tr"></span><span>Instances</span></a></span></div></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/specification.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.model.specification</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/ApplicativeTableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>ApplicativeTableBasedInterferenceSpecification</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification.html"><span class="micon tr"></span><span>InterferenceSpecification</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$.html"><span class="micon ob"></span><span>InterferenceSpecification</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$ChannelId.html"><span class="micon cl"></span><span>ChannelId</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$Default.html"><span class="micon tr"></span><span>Default</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$Id.html"><span class="micon tr"></span><span>Id</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$PhysicalScenarioId.html"><span class="micon cl"></span><span>PhysicalScenarioId</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$PhysicalScenarioSetId.html"><span class="micon cl"></span><span>PhysicalScenarioSetId</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$PhysicalTransactionId.html"><span class="micon cl"></span><span>PhysicalTransactionId</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/PhysicalTableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>PhysicalTableBasedInterferenceSpecification</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/TableBasedInterferenceSpecification.html"><span class="micon tr"></span><span>TableBasedInterferenceSpecification</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/model/specification/TableBasedInterferenceSpecification$.html"><span class="micon ob"></span><span>TableBasedInterferenceSpecification</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/model/specification/TableBasedInterferenceSpecification$$Default.html"><span class="micon tr"></span><span>Default</span></a></span></div></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.interference.operators</span></a></span><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Analyse$.html"><span class="micon ob"></span><span>Analyse</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Analyse$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Analyse$$given_Analyse_ConfiguredPlatform$.html"><span class="micon ob"></span><span>given_Analyse_ConfiguredPlatform</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Equivalent$.html"><span class="micon ob"></span><span>Equivalent</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Equivalent$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Exclusive$.html"><span class="micon ob"></span><span>Exclusive</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Exclusive$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Interfere$.html"><span class="micon ob"></span><span>Interfere</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Interfere$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/PostProcess$.html"><span class="micon ob"></span><span>PostProcess</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/PostProcess$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/PostProcess$$given_PostProcess_ConfiguredPlatform$.html"><span class="micon ob"></span><span>given_PostProcess_ConfiguredPlatform</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Transform$.html"><span class="micon ob"></span><span>Transform</span></a></span><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Transform$$BasicInstances.html"><span class="micon tr"></span><span>BasicInstances</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transform$$BasicInstances$given_Transform_Application_Set$.html"><span class="micon ob"></span><span>given_Transform_Application_Set</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transform$$BasicInstances$given_Transform_PhysicalTransactionId_Option$.html"><span class="micon ob"></span><span>given_Transform_PhysicalTransactionId_Option</span></a></span></div></div><div class="ni n2"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Transform$$TransactionLibraryInstances.html"><span class="micon tr"></span><span>TransactionLibraryInstances</span></a></span><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transform$$TransactionLibraryInstances$given_Transform_Scenario_Set$.html"><span class="micon ob"></span><span>given_Transform_Scenario_Set</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transform$$TransactionLibraryInstances$given_Transform_Transaction_Option$.html"><span class="micon ob"></span><span>given_Transform_Transaction_Option</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transform$$TransactionLibraryInstances$given_Transform_UserScenarioId_Set$.html"><span class="micon ob"></span><span>given_Transform_UserScenarioId_Set</span></a></span></div><div class="ni n3 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transform$$TransactionLibraryInstances$given_Transform_UserTransactionId_Option$.html"><span class="micon ob"></span><span>given_Transform_UserTransactionId_Option</span></a></span></div></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/interference/operators/Transparent$.html"><span class="micon ob"></span><span>Transparent</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/interference/operators/Transparent$$Ops.html"><span class="micon tr"></span><span>Ops</span></a></span></div></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/patterns/examples.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.patterns.examples</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/examples/PhylogPatterns$.html"><span class="micon ob"></span><span>PhylogPatterns</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/patterns/exporters.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.patterns.exporters</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/exporters/LatexCodePrinter.html"><span class="micon tr"></span><span>LatexCodePrinter</span></a></span></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/patterns/exporters/LatexCodePrinter$.html"><span class="micon ob"></span><span>LatexCodePrinter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/exporters/LatexCodePrinter$$LatexCodePrinterConclusion.html"><span class="micon cl"></span><span>LatexCodePrinterConclusion</span></a></span></div></div><div class="ni n1"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/patterns/exporters/LatexDiagramPrinter$.html"><span class="micon ob"></span><span>LatexDiagramPrinter</span></a></span><div class="ni n2 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/exporters/LatexDiagramPrinter$$LatexDiagramPrinterConclusion.html"><span class="micon cl"></span><span>LatexDiagramPrinterConclusion</span></a></span></div></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/exporters/LatexDiagramPrinter.html"><span class="micon tr"></span><span>LatexDiagramPrinter</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/exporters/allPrinters$.html"><span class="micon ob"></span><span>allPrinters</span></a></span></div></div><div class="ni n0"><span class="nh "><button class="ar icon-button "></button><a href="onera/pmlanalyzer/views/patterns/model.html"><span class="micon pa"></span><span>onera.pmlanalyzer.views.patterns.model</span></a></span><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Backing.html"><span class="micon cl"></span><span>Backing</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Builder.html"><span class="micon cl"></span><span>Builder</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Claim.html"><span class="micon cl"></span><span>Claim</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Claim$.html"><span class="micon ob"></span><span>Claim</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/DSLImplicits$.html"><span class="micon ob"></span><span>DSLImplicits</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Defeater.html"><span class="micon cl"></span><span>Defeater</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Evidence.html"><span class="micon tr"></span><span>Evidence</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/FinalEvidence.html"><span class="micon cl"></span><span>FinalEvidence</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Given.html"><span class="micon cl"></span><span>Given</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/PatternAST.html"><span class="micon tr"></span><span>PatternAST</span></a></span></div><div class="ni n1 "><span class="nh "><a href="onera/pmlanalyzer/views/patterns/model/Strategy.html"><span class="micon cl"></span><span>Strategy</span></a></span></div></div></nav></div><div id="footer" class="body-small"><div class="left-container">Generated with</div><div class="right-container"><div class="text"></div></div><div class="text-mobile"></div></div><div id="scaladoc-searchBar"></div><div id="main"><div class="breadcrumbs container"><a href="index.html">pml_analyzer</a></div><div id="content" class="body-medium"><div><h1>pml_analyzer</h1><div class="cover"><div class="doc"><p>The PML analyzer is an open source API providing a simple DSL to build
a description of the architecture of your chip based on the PHYLOG Model Language (PML).
From this representation a set of safety and interference model templates can be generated to perfom safety and
interference analyses of your platform.</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div><div class="documentableFilter"><div class="filtersContainer"></div><input class="filterableInput" placeholder="Filter by any phrase" data-test-id="filterBarInput" type="search"></input><button class="clearButton label-only-button" data-test-id="filterBarClearButton">Clear all</button></div><div class="membersList expand"><h2 class="h500">Members list</h2><div class="body-small" id="concise-view-switch"><span>Concise view</span><label class="switch"><input type="checkbox"></input><span class="slider"></span></label></div><div class="tabs"><div class="contents"><div data-togglable="Packages" class="tab expand"><button class="icon-button show-content expand"></button><h2 data-togglable="Packages" class="h300">Packages</h2><div class="documentableList expand"><button class="icon-button show-content expand"></button><h3 class="groupHeader h200"></h3><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml.html" t="n"class="documentableName ">onera.pmlanalyzer.pml</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing all general modelling features of PML</p>
</div><div class="cover"><div class="doc"><p>Package containing all general modelling features of PML</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p>For basic classes used to model a platform see <a href="onera/pmlanalyzer/pml/model.html">pml.model</a></p>
</div><div><p>For operators used to manipulate the classes see <a href="onera/pmlanalyzer/pml/operators.html">pml.operators</a></p>
</div><div><p>For exporters see <a href="onera/pmlanalyzer/pml/exporters.html">pml.exporters</a></p>
</div><div><p>For examples on operator and class usage see <a href="onera/pmlanalyzer/pml/examples.html">pml.examples</a> and
the related documentation in src/main/doc-resources/pml/examples</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/examples.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.examples</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing PML examples of simple platforms illustrating the basic modelling features of PML</p>
</div><div class="cover"><div class="doc"><p>Package containing PML examples of simple platforms illustrating the basic modelling features of PML</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/examples/simpleKeystone.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.examples.simpleKeystone</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing an example on a simplification of a TI Keystone platform</p>
</div><div class="cover"><div class="doc"><p>Package containing an example on a simplification of a TI Keystone platform</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform.html">SimpleKeystonePlatform</a> for examples of <a href="onera/pmlanalyzer/pml/model/hardware/Hardware.html">pml.model.hardware.Hardware</a> modelling features
<a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleSoftwareAllocation.html">SimpleSoftwareAllocation</a> for examples of <a href="onera/pmlanalyzer/pml/model/software/Application.html">pml.model.software.Application</a> modelling features
<a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.html">SimpleKeystoneTransactionLibrary</a> for examples of transaction/scenario modelling features
<a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfiguration.html">SimpleKeystoneLibraryConfiguration</a> for example of transaction library configuration
<a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.html">SimpleKeystoneLibraryConfigurationFull</a> for examples of specialisation of library configurations
<a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$.html">SimpleKeystoneExport</a> for examples of platform instantiation and <a href="onera/pmlanalyzer/pml/exporters.html">pml.exporters</a> usage</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/examples/simpleT1042.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.examples.simpleT1042</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing an example on a simplification of T1042 platform</p>
</div><div class="cover"><div class="doc"><p>Package containing an example on a simplification of T1042 platform</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/exporters.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.exporters</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the extension methods to export PML model as tables or Graphviz.</p>
</div><div class="cover"><div class="doc"><p>Package containing the extension methods to export PML model as tables or Graphviz.</p>
<p>Must be imported as following to enable export extension</p>
<div class="snippet mono-small-block"><pre><code class="language-"><span line-number="1" class=""><span class="tooltip-container" ></span>import onera.pmlanalyzer.pml.exporters._
</span></code></pre><div class="buttons"></div></div>
<p>The available extension methods are provided in <a href="onera/pmlanalyzer/pml/exporters/UMLExporter$$Ops.html">UMLExporter.Ops</a> and <a href="onera/pmlanalyzer/pml/exporters/RelationExporter$$Ops.html">RelationExporter.Ops</a></p>
<p>Example of usages are provided in <a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneExport$.html">pml.examples.simpleKeystone.SimpleKeystoneExport</a></p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing PML nodes.</p>
</div><div class="cover"><div class="doc"><p>Package containing PML nodes.</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/pml/model/hardware.html">pml.model.hardware</a> for hardware nodes</p>
</div><div><p><a href="onera/pmlanalyzer/pml/model/software.html">pml.model.software</a> for software nodes</p>
</div><div><p><a href="onera/pmlanalyzer/pml/model/service.html">pml.model.service</a> for service nodes</p>
</div><div><p><a href="onera/pmlanalyzer/pml/model/configuration.html">pml.model.configuration</a> for transaction library</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model/configuration.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model.configuration</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing configuration PML facet of a model</p>
</div><div class="cover"><div class="doc"><p>Package containing configuration PML facet of a model</p>
<p>Use <a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary.html">TransactionLibrary</a> to define transactions or scenarios and select which ones should be
consider for the analysis.</p>
<p>Example of definition are provided in <a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.html">pml.examples.simpleKeystone.SimpleKeystoneTransactionLibrary</a></p>
<p>Example of selection are provided in <a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.html">pml.examples.simpleKeystone.SimpleKeystoneLibraryConfigurationFull</a></p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model/hardware.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model.hardware</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing all hardware PML nodes</p>
</div><div class="cover"><div class="doc"><p>Package containing all hardware PML nodes</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p>usage are available in <a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform.html">pml.examples.simpleKeystone.SimpleKeystonePlatform</a></p>
</div></div></dd><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/pml/model/hardware/SimpleTransporter.html">SimpleTransporter</a>, <a href="onera/pmlanalyzer/pml/model/hardware/Virtualizer.html">Virtualizer</a>, <a href="onera/pmlanalyzer/pml/model/hardware/Target.html">Target</a> and <a href="onera/pmlanalyzer/pml/model/hardware/Initiator.html">Initiator</a> can only be instantiated
in a <a href="onera/pmlanalyzer/pml/model/hardware/Platform.html">Platform</a> or a <a href="onera/pmlanalyzer/pml/model/hardware/Composite.html">Composite</a> but <a href="onera/pmlanalyzer/pml/model/hardware/Platform.html">Platform</a> and <a href="onera/pmlanalyzer/pml/model/hardware/Composite.html">Composite</a> can be specialised</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model/relations.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model.relations</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the implicit relations used to connect PML nodes</p>
</div><div class="cover"><div class="doc"><p>Package containing the implicit relations used to connect PML nodes</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p>these relations should not be used directly.
To manipulate the relations use the operators detailed in <a href="onera/pmlanalyzer/pml/operators.html">pml.operators</a></p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model/service.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model.service</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing all service PML nodes
<a href="onera/pmlanalyzer/pml/model/service/Load.html">Load</a>, <a href="onera/pmlanalyzer/pml/model/service/Store.html">Store</a> and <a href="onera/pmlanalyzer/pml/model/service/ArtificialService.html">ArtificialService</a> can be instantiated when extra services are needed.</p>
</div><div class="cover"><div class="doc"><p>Package containing all service PML nodes
<a href="onera/pmlanalyzer/pml/model/service/Load.html">Load</a>, <a href="onera/pmlanalyzer/pml/model/service/Store.html">Store</a> and <a href="onera/pmlanalyzer/pml/model/service/ArtificialService.html">ArtificialService</a> can be instantiated when extra services are needed.</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p>usage are available in <a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleKeystonePlatform.html">pml.examples.simpleKeystone.SimpleKeystonePlatform</a></p>
</div></div></dd><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p>hardware component provides by default a load and store service.</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model/software.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model.software</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing software PML nodes.</p>
</div><div class="cover"><div class="doc"><p>Package containing software PML nodes.</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p>example of usage are available in <a href="onera/pmlanalyzer/pml/examples/simpleKeystone/SimpleSoftwareAllocation.html">pml.examples.simpleKeystone.SimpleSoftwareAllocation</a></p>
</div></div></dd><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p>The <a href="onera/pmlanalyzer/pml/model/software/Application.html">Application</a> and <a href="onera/pmlanalyzer/pml/model/software/Data.html">Data</a> must be instantiated in a <a href="onera/pmlanalyzer/pml/model/hardware/Platform.html">pml.model.hardware.Platform</a>
and cannot specialised in PML models.</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/model/utils.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.model.utils</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing classes and methods</p>
</div><div class="cover"><div class="doc"><p>Package containing classes and methods</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/pml/operators.html" t="n"class="documentableName ">onera.pmlanalyzer.pml.operators</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing all the extension methods provided by operators</p>
</div><div class="cover"><div class="doc"><p>Package containing all the extension methods provided by operators</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/pml/operators/Link$$Ops.html">Link.Ops</a> for link (e.g. link/unlink) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Linked$$Ops.html">Linked.Ops</a> for linked (e.g. linked/reverse) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Deactivate$$Ops.html">Deactivate.Ops</a> for deactivate (e.g. deactivate) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Provided$$Ops.html">Provided.Ops</a> for provide (e.g. services/loads/stores) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Use$$Ops.html">Use.Ops</a> for use (e.g. use/hostedBy) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Used$$Ops.html">Used.Ops</a> for used (e.g. used/targetLoads) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Merge$$Ops.html">Merge.Ops</a> for and (e.g. and) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Restrict$$Ops.html">Restrict.Ops</a> for restrict (e.g. restrictedTo) keywords</p>
</div><div><p><a href="onera/pmlanalyzer/pml/operators/Route$$Ops.html">Route.Ops</a> for route (e.g. useLink/cannotUseLink) keywords</p>
</div></div></dd><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p>This package should be imported in all pml models as so</p>
<div class="snippet mono-small-block"><pre><code class="language-"><span line-number="1" class=""><span class="tooltip-container" ></span>import onera.pmlanalyzer.pml.operators._
</span></code></pre><div class="buttons"></div></div>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views.html" t="n"class="documentableName ">onera.pmlanalyzer.views</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the modelling and analysis features for specific purposes</p>
</div><div class="cover"><div class="doc"><p>Package containing the modelling and analysis features for specific purposes</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference.html">views.interference</a> for interference modelling and analysis</p>
</div><div><p><span data-unresolved-link="">views.dependability</span> for dependability modelling and analysis</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/dependability/executor.html" t="n"class="documentableName ">onera.pmlanalyzer.views.dependability.executor</a><span></span></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/dependability/exporters.html" t="n"class="documentableName ">onera.pmlanalyzer.views.dependability.exporters</a><span></span></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/dependability/model.html" t="n"class="documentableName ">onera.pmlanalyzer.views.dependability.model</a><span></span></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/dependability/operators.html" t="n"class="documentableName ">onera.pmlanalyzer.views.dependability.operators</a><span></span></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing all interference modelling and analysis features of PML</p>
</div><div class="cover"><div class="doc"><p>Package containing all interference modelling and analysis features of PML</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference/model.html">views.interference.model</a> for basic classes used to model the interference analysis assumption</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/operators.html">views.interference.operators</a> for operators used to manipulate and perform analyses</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/exporters.html">views.interference.exporters</a> for exporters</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/examples.html">views.interference.examples</a> for examples on operator and class usage and
the related documentation in src/main/doc-resources/pml/examples</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/examples.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.examples</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing PML examples of simple platforms illustrating the basic interference
modelling and analysis features of PML</p>
</div><div class="cover"><div class="doc"><p>Package containing PML examples of simple platforms illustrating the basic interference
modelling and analysis features of PML</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.examples.simpleKeystone</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing an example on a simplification of a TI Keystone platform</p>
</div><div class="cover"><div class="doc"><p>Package containing an example on a simplification of a TI Keystone platform</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.html">SimpleKeystonePhysicalTableBasedInterferenceSpecification</a> provides an example of hardware interference assumption modelling</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.html">SimpleKeystoneApplicativeTableBasedInterferenceSpecification</a> provides an example of application interference assumption modelling</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration$.html">SimpleKeystoneInterferenceGeneration</a> provides an example of interference analysis for the simplified
Keystone platform</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/examples/simpleT1042.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.examples.simpleT1042</a><span></span></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/exporters.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.exporters</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the interference related exporters</p>
</div><div class="cover"><div class="doc"><p>Package containing the interference related exporters</p>
<div class="snippet mono-small-block"><pre><code class="language-"><span line-number="1" class=""><span class="tooltip-container" ></span>scala> import onera.pmlanalyzer.views.interference.exporters._
</span></code></pre><div class="buttons"></div></div>
<p>The available extension methods are provided in <a href="onera/pmlanalyzer/views/interference/exporters/IDPExporter$$Ops.html">IDPExporter.Ops</a> and <a href="onera/pmlanalyzer/views/interference/exporters/InterferenceGraphExporter$$Ops.html">InterferenceGraphExporter.Ops</a>
Example of usages are provided in ???</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/model.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.model</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the model extensions for interference analysis</p>
</div><div class="cover"><div class="doc"><p>Package containing the model extensions for interference analysis</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification.html">views.interference.model.specification</a> for modelling features for interference analysis specification</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/formalisation.html">views.interference.model.formalisation</a> for internal models used to formalise the problem as SMT problem</p>
</div></div></dd><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p>internal models should not be used for platform analysis or modelling</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/model/formalisation.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.model.formalisation</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing model extension enabling formalisation of the interference computation problem as an SMT problem.</p>
</div><div class="cover"><div class="doc"><p>Package containing model extension enabling formalisation of the interference computation problem as an SMT problem.</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference/model/formalisation/BDDFactory.html">BDDFactory</a> provides some basic Binary Decision Diagram features based on JavaBDD.</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/formalisation/ProblemElement.html">ProblemElement</a> provides all the necessary modelling features to encode the problem with Monosat</p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/model/relations.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.model.relations</a><span></span></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/model/specification.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.model.specification</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the modelling features used to specify the assumptions considered during the interference analysis.</p>
</div><div class="cover"><div class="doc"><p>Package containing the modelling features used to specify the assumptions considered during the interference analysis.</p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification/ApplicativeTableBasedInterferenceSpecification.html">ApplicativeTableBasedInterferenceSpecification</a> provides modelling features to specify application related assumption
Example can be found in <a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.html">views.interference.examples.simpleKeystone.SimpleKeystoneApplicativeTableBasedInterferenceSpecification</a></p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification/PhysicalTableBasedInterferenceSpecification.html">PhysicalTableBasedInterferenceSpecification</a> provides modelling features to specify hardware related assumption
Example can be found in <a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.html">views.interference.examples.simpleKeystone.SimpleKeystonePhysicalTableBasedInterferenceSpecification</a></p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification/TableBasedInterferenceSpecification.html">TableBasedInterferenceSpecification</a> provides a wide range of modelling features to specify assumption.</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification.html">InterferenceSpecification</a> provides the basic modelling features to specify the assumptions, if possible consider using</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification$$Default.html">InterferenceSpecification.Default</a> provides a default specialization of <a href="onera/pmlanalyzer/views/interference/model/specification/InterferenceSpecification.html">InterferenceSpecification</a></p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/model/specification/TableBasedInterferenceSpecification$$Default.html">TableBasedInterferenceSpecification.Default</a> provides a default specialization of <a href="onera/pmlanalyzer/views/interference/model/specification/TableBasedInterferenceSpecification.html">TableBasedInterferenceSpecification</a></p>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><button class="icon-button show-content"></button><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/interference/operators.html" t="n"class="documentableName ">onera.pmlanalyzer.views.interference.operators</a><span></span></div></div><div class="docs"><span class="modifiers"></span><div><div class="originInfo"></div><div class="memberDocumentation"><div class="documentableBrief doc"><p>Package containing the operators related to interference computation that can be used on a PML model.
Examples are provided in <a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration$.html">views.interference.examples.simpleKeystone.SimpleKeystoneInterferenceGeneration</a></p>
</div><div class="cover"><div class="doc"><p>Package containing the operators related to interference computation that can be used on a PML model.
Examples are provided in <a href="onera/pmlanalyzer/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration$.html">views.interference.examples.simpleKeystone.SimpleKeystoneInterferenceGeneration</a></p>
</div><h2 class="h500">Attributes</h2><dl class="attributes"><dt class="body-small">See also:</dt><dd class="body-medium"><div><div><p><a href="onera/pmlanalyzer/views/interference/operators/Analyse$$Ops.html">Analyse.Ops</a> provides the operators related to interference computation with Monosat <a href="https://github.com/sambayless/monosat">https://github.com/sambayless/monosat</a></p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/operators/PostProcess$$Ops.html">PostProcess.Ops</a> provides the operators related to the post processing of the interference computation</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/operators/Interfere$$Ops.html">Interfere.Ops</a> provides the operators related to interference assumptions</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/operators/Exclusive$$Ops.html">Exclusive.Ops</a> provides the operators related to exclusive assumptions (e.g., two <a href="onera/pmlanalyzer/pml/model/software/Application.html">pml.model.software.Application</a>
will not execute simultaneously)</p>
</div><div><p><a href="onera/pmlanalyzer/views/interference/operators/Transparent$$Ops.html">Transparent.Ops</a> proves the operators related to transparency assumptions (e.g., a <a href="onera/pmlanalyzer/pml/model/configuration/TransactionLibrary$Transaction.html">pml.model.configuration.TransactionLibrary.Transaction</a>
is discarded)</p>
</div></div></dd><dt class="body-small">Note:</dt><dd class="body-medium"><div><div><p>This package should be imported in all pml models as so</p>
<div class="snippet mono-small-block"><pre><code class="language-"><span line-number="1" class=""><span class="tooltip-container" ></span>import onera.pmlanalyzer.views.interference.operators._
</span></code></pre><div class="buttons"></div></div>
</div></div></dd></dl></div></div></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/patterns/examples.html" t="n"class="documentableName ">onera.pmlanalyzer.views.patterns.examples</a><span></span></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/patterns/exporters.html" t="n"class="documentableName ">onera.pmlanalyzer.views.patterns.exporters</a><span></span></div></div></div><div class="documentableElement"><div class="header monospace"><div class="signature mono-small-inline"><span class="modifiers"></span><span class="kind"><span t="k">package </span></span><a href="onera/pmlanalyzer/views/patterns/model.html" t="n"class="documentableName ">onera.pmlanalyzer.views.patterns.model</a><span></span></div></div></div></div></div></div></div></div></div></div><div id="footer" class="body-small mobile-footer"><div class="left-container">Generated with</div><div class="right-container"><a href="https://github.com/lampepfl/dotty"><button class="icon-button gh"></button></a><a href="https://twitter.com/scala_lang"><button class="icon-button twitter"></button></a><a href="https://discord.com/invite/scala"><button class="icon-button discord"></button></a><a href="https://gitter.im/scala/scala"><button class="icon-button gitter"></button></a><div class="text"></div></div><div class="text-mobile"></div></div></div></div></body></html>