pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.dependability.operators/IsShadowOrderingOps/IsShadowingOps

IsShadowingOps

onera.pmlanalyzer.views.dependability.operators.IsShadowOrderingOps.IsShadowingOps
implicit class IsShadowingOps[T](a: T)(implicit evidence$1: IsShadowOrdering[T])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def containerShadow(containerState: T): T
def inputShadow(containerState: T): T
def isCorruptingFM: Boolean
Generated with