pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.dependability.operators/IsShadowOrdering

IsShadowOrdering

onera.pmlanalyzer.views.dependability.operators.IsShadowOrdering
See theIsShadowOrdering companion object
trait IsShadowOrdering[T]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def containerShadow(init: T, containerState: T): T
def corruptingFM(fm: T): Boolean
def inputShadow(input: T, containerState: T): T
Generated with