pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.dependability.model/Virtualizer

Virtualizer

onera.pmlanalyzer.views.dependability.model.Virtualizer
See theVirtualizer companion object
class Virtualizer[FM] extends BasicTransporter[FM]

Attributes

Companion:
object
Graph
Supertypes
class Transporter[FM]
trait Component
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Component -> Any
Inherited from:
Component

Concrete fields

val reject: ((InitiatorId, TargetId)) => Boolean
val storeI: InputPort[List[Request[FM]]]

Inherited fields

val fMAutomaton: SimpleFMAutomaton[FM]

Attributes

Inherited from:
Transporter
val initialState: FM

Attributes

Inherited from:
Transporter
val loadI: InputPort[List[Request[FM]]]

Attributes

Inherited from:
Transporter
Generated with