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

Application

onera.pmlanalyzer.views.dependability.model.Application$
See theApplication companion class
object Application

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def apply[FM : IsFinite](id: SoftwareId, softwareState: (Variable[FM], Variable[TargetStatus[FM]]) => Expr[FM], stores: (Variable[FM], Variable[TargetStatus[FM]]) => Expr[TargetStatus[FM]])(implicit evidence$5: IsCriticityOrdering[FM], evidence$6: IsFinite[FM], ev: Builder[SubComponent] & Owner): Application[FM]
Generated with