pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.dependability.exporters/BasicOperationCeciliaExporter

BasicOperationCeciliaExporter

onera.pmlanalyzer.views.dependability.exporters.BasicOperationCeciliaExporter
trait BasicOperationCeciliaExporter

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case class WorstSchedulerTopHelper(size: Int)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def configurableCstModel[T : IsCriticityOrdering]: ComponentModel
def configurableCstModel[K : IsFinite, V : IsCriticityOrdering]: ComponentModel
def maxOperator[T : IsCriticityOrdering](size: Int): OperatorModel
def minOperator[T : IsCriticityOrdering](size: Int): OperatorModel
def mkBestSub[T : IsCriticityOrdering](l: Set[String]): (String, Seq[String], SubComponent)
def mkContainerShadowSub[T : IsShadowOrdering](name: Symbol, newMode: String, containerMode: String): (String, Seq[String], SubComponent)
def mkVariableName(v: VariableId, tyype: CeciliaType, orientation: Orientation, arity: Int): List[Flow]
def mkWorstSub[T : IsCriticityOrdering](l: Set[String]): (String, Seq[String], SubComponent)
def pathName(x: System, c: Component): List[String]
def preModel[T : IsCriticityOrdering]: ComponentModel
def switchModel[T : IsCriticityOrdering]: ComponentModel
def variablePathName(x: System, v: Variable[_]): String
Generated with