pml_analyzer
pml_analyzer
Docs
API
onera.pmlanalyzer.pml
onera.pmlanalyzer.pml.examples
onera.pmlanalyzer.pml.examples.simpleKeystone
SimpleKeystoneExport
SimpleKeystoneConfiguredFull
SimpleKeystoneConfiguredNoL1
SimpleKeystoneConfiguredPlanApp21
SimpleKeystoneConfiguredPlanApp22
SimpleKeystoneLibraryConfiguration
SimpleKeystoneLibraryConfigurationFull
SimpleKeystoneLibraryConfigurationNoL1
SimpleKeystoneLibraryConfigurationPlanApp21
SimpleKeystoneLibraryConfigurationPlanApp22
SimpleKeystonePlatform
ARMCore
MemorySubsystem
TeraNet
SimpleKeystoneTransactionLibrary
SimpleRoutingConfiguration
SimpleSoftwareAllocation
onera.pmlanalyzer.pml.examples.simpleT1042
SimpleRoutingConfiguration
SimpleSoftwareAllocation
SimpleT1042Export
SimpleT1042ConfiguredFull
SimpleT1042ConfiguredNoL1
SimpleT1042ConfiguredPlanApp21
SimpleT1042ConfiguredPlanApp22
SimpleT1042LibraryConfiguration
SimpleT1042LibraryConfigurationFull
SimpleT1042LibraryConfigurationNoL1
SimpleT1042LibraryConfigurationPlanApp21
SimpleT1042LibraryConfigurationPlanApp22
SimpleT1042Platform
CachedCore
SimpleT1042TransactionLibrary
onera.pmlanalyzer.pml.exporters
FileManager
OutputDirectory
OutputDirectory
RelationExporter
Ops
Ops
OpsConfig
OpsLibrary
UMLExporter
DOTHWAndSWClosureOnly
DOTHWAndSWOnly
DOTRelationExporter
DOTServiceAndSWClosureOnly
DOTServiceOnly
FullDOT
FullDOTHWNamer
FullDOTPlatformNamer
FullDOTSWNamer
FullDOTServiceNamer
FullHWExporter
FullPlatformExporter
FullSWExporter
FullServiceExporter
HWExporter
HWNamer
NullHWExporter
NullHWNamer
NullPlatformNamer
NullSWExporter
NullSWNamer
NullServiceExporter
NullServiceNamer
Ops
UmlExporterOps
PlatformExporter
PlatformNamer
RelationExporter
RestrictedPlatformExporter
SWExporter
SWNamer
ServiceExporter
ServiceNamer
onera.pmlanalyzer.pml.model
PMLNode
PMLNodeBuilder
onera.pmlanalyzer.pml.model.configuration
TransactionLibrary
Scenario
Scenario
ScenarioLike
ScenarioOps
Transaction
Transaction
UsedScenario
UsedScenario
UsedTransaction
UsedTransaction
UserTransactionOps
TransactionLibrary
UserId
UserScenarioId
UserTransactionId
onera.pmlanalyzer.pml.model.hardware
BaseHardwareNodeBuilder
Composite
Composite
Hardware
Initiator
Initiator
Platform
PhysicalTransactionOps
Platform
SimpleTransporter
SimpleTransporter
Target
Target
Transporter
Virtualizer
Virtualizer
onera.pmlanalyzer.pml.model.relations
AntiReflexiveSymmetricEndomorphism
AuthorizeRelation
AuthorizeRelation
Instances
Endomorphism
LinkRelation
LinkRelation
Instances
ProvideRelation
ProvideRelation
Instances
ReflexiveSymmetricEndomorphism
Relation
Relation
Instances
RoutingRelation
RoutingRelation
Instances
UseRelation
UseRelation
Instances
onera.pmlanalyzer.pml.model.service
ArtificialService
ArtificialService
BaseServiceBuilder
Load
Load
Service
Store
Store
onera.pmlanalyzer.pml.model.software
Application
Application
BaseSoftwareNodeBuilder
Data
Data
onera.pmlanalyzer.pml.model.utils
Message
Owner
onera.pmlanalyzer.pml.operators
AsTransaction
AsTransaction
Ops
Deactivate
Deactivate
Ops
Link
Link
Ops
given_HardwareLink_Initiator_Target
given_HardwareLink_Initiator_Transporter
given_HardwareLink_Transporter_Target
given_HardwareLink_Transporter_Transporter
given_ServiceLink_Load_Load
given_ServiceLink_Store_Store
Linked
Linked
Ops
Merge
Merge
Ops
Provided
Provided
Ops
Restrict
Restrict
Ops
Route
Ops
SimpleRouteIdentifyRouter
SimpleRouterIdentifyNext
Use
Use
Ops
Used
Used
Ops
onera.pmlanalyzer.views
onera.pmlanalyzer.views.dependability.executor
Scheduler
Simulator
Synchronize
WorstCaseSchedule
onera.pmlanalyzer.views.dependability.exporters
AutomatonCeciliaExporter
BasicOperationCeciliaExporter
WorstSchedulerTopHelper
BlockModel
CeciliaBoolean
CeciliaExporter
CeciliaExporter
CeciliaExporterOps
ceciliaOps
CeciliaFolder
CeciliaType
ComponentModel
ComponentModel
ConcreteEventModel
Configuration
DeterministicEventModel
EntityFolder
EnumeratedType
EnumeratedType
EquipmentModel
EquipmentModel
EventModel
ExprCeciliaExporter
AssertionHelper
FailureConditions
FamilyFolder
FamilyFolder
Flow
Folder
Folder
GenericImage
ImageModel
ImageModel
In
Local
Model
Model
ComponentDescriptor
EnumeratedTypeDescriptor
EquiBlockFlowPlacer
EquipmentDescriptor
FlowPlacer
ImgDescriptor
ModelDescriptor
ModelDescriptor
OperatorDescriptor
RecordTypeDescriptor
SystemDescriptor
OperatorModel
OperatorModel
Orientation
Out
PhylogFolder
PlatformCeciliaExporter
DependabilitySpecification
DependabilitySpecification
platformExportOps
RecordType
RecordType
RootFolder
SoftwareCeciliaExporter
State
StochastiqueEventModel
SubComponent
SubFamilyFolder
SubFamilyFolder
SubFolder
SynchroEventModel
SystemCeciliaExporter
SystemModel
SystemModel
TargetCeciliaExporter
TransporterCeciliaExporter
TypeCeciliaExporter
VersionFolder
onera.pmlanalyzer.views.dependability.model
And
Application
Application
AutomatonId
BasicTransporter
Best
BoolExpr
Builder
Component
ConcreteEvent
Const
Copy
CustomTypes
Request
TargetStatus
DMap
Descriptor
Descriptor
DetermisticEvent
DetermisticEvent
Equal
Event
Expr
ExprImplicits
AndBuilder
DataExtension
EqualBuilder
IT
If
OfBuilder
OrBuilder
PMLTargetExtension
TargetExtension
TargetIdExtension
FMAutomaton
ITE
Id
IdBuilder
TIsFinite
Initiator
Initiator
InitiatorId
InitiatorId
InputDepTarget
InputDepTarget
InputFMAutomaton
InputFMAutomaton
InputInDepTarget
InputInDepTarget
InputPort
InputPort
Linker
LocalVariable
ModeAutomaton
Not
Of
Or
OutputPort
Owner
SimpleFMAutomaton
SimpleFMAutomaton
SimpleTransporter
SimpleTransporter
Software
SoftwareId
SoftwareId
StochasticEvent
StochasticEvent
SynchroEvent
System
listExtensionMethods
Target
TargetId
TargetId
Transition
Transporter
TransporterId
Variable
Variable
VariableId
VariableId
Virtualizer
Virtualizer
Worst
onera.pmlanalyzer.views.dependability.operators
IsCriticityOrderingOps
CriticityOrderOps
IsFinite
IsFinite
IsFiniteOps
hasName
IsMergeable
IsMergeable
IsMergeableOps
IsMergeableOps
IsOptionLike
IsOptionLikeOps
IsOptionLikeOps
IsShadowOrdering
IsShadowOrdering
IsShadowOrderingOps
IsShadowingOps
onera.pmlanalyzer.views.interference
onera.pmlanalyzer.views.interference.examples
onera.pmlanalyzer.views.interference.examples.simpleKeystone
SimpleKeystoneApplicativeTableBasedInterferenceSpecification
SimpleKeystoneInterferenceGeneration
SimpleKeystonePhysicalTableBasedInterferenceSpecification
onera.pmlanalyzer.views.interference.examples.simpleT1042
SimpleT1042ApplicativeTableBasedInterferenceSpecification
SimpleT1042InterferenceGeneration
SimpleT1042PhysicalTableBasedInterferenceSpecification
onera.pmlanalyzer.views.interference.exporters
IDPExporter
IDPPlatformExporter
Ops
IdpExporterOps
InterferenceGraphExporter
Ops
InterferenceGraphExporterOps
onera.pmlanalyzer.views.interference.model
onera.pmlanalyzer.views.interference.model.formalisation
ALit
And
Assert
AssertPB
BDDFactory
BaseBDDFactory
Equal
GenBDDFactory
FactoryImplicits
Implies
MEdge
MEdgeLit
MGraph
MLit
MNode
Not
Or
Problem
Problem
ProblemElement
ProblemElement
Reaches
SimpleAssert
SymbolBDDFactory
onera.pmlanalyzer.views.interference.model.relations
EquivalenceRelation
EquivalenceRelation
Instances
ExclusiveRelation
ExclusiveRelation
ApplicationInstances
GeneralInstances
LibraryInstances
InterfereRelation
InterfereRelation
Instances
NotInterfereRelation
NotInterfereRelation
Instances
TransparentSet
TransparentSet
Instances
onera.pmlanalyzer.views.interference.model.specification
ApplicativeTableBasedInterferenceSpecification
InterferenceSpecification
InterferenceSpecification
ChannelId
Default
Id
PhysicalScenarioId
PhysicalScenarioSetId
PhysicalTransactionId
PhysicalTableBasedInterferenceSpecification
TableBasedInterferenceSpecification
TableBasedInterferenceSpecification
Default
onera.pmlanalyzer.views.interference.operators
Analyse
Ops
given_Analyse_ConfiguredPlatform
Equivalent
Ops
Exclusive
Ops
Interfere
Ops
PostProcess
Ops
given_PostProcess_ConfiguredPlatform
Transform
BasicInstances
given_Transform_Application_Set
given_Transform_PhysicalTransactionId_Option
TransactionLibraryInstances
given_Transform_Scenario_Set
given_Transform_Transaction_Option
given_Transform_UserScenarioId_Set
given_Transform_UserTransactionId_Option
Transparent
Ops
onera.pmlanalyzer.views.patterns.examples
PhylogPatterns
onera.pmlanalyzer.views.patterns.exporters
LatexCodePrinter
LatexCodePrinter
LatexCodePrinterConclusion
LatexDiagramPrinter
LatexDiagramPrinterConclusion
LatexDiagramPrinter
allPrinters
onera.pmlanalyzer.views.patterns.model
Backing
Builder
Claim
Claim
DSLImplicits
Defeater
Evidence
FinalEvidence
Given
PatternAST
Strategy
pml_analyzer
/
onera.pmlanalyzer.views.dependability.operators
/
IsShadowOrderingOps
IsShadowOrderingOps
onera.pmlanalyzer.views.dependability.operators.IsShadowOrderingOps
trait
IsShadowOrderingOps
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
Type members
Classlikes
implicit
class
IsShadowingOps
[
T
](
a
:
T
)(
implicit
evidence$1
:
IsShadowOrdering
[
T
])
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Implicits
Implicits
final implicit
def
IsShadowingOps
[
T
:
IsShadowOrdering
](
a
:
T
):
IsShadowingOps
[
T
]