IsShadowOrdering

onera.pmlanalyzer.views.dependability.operators.IsShadowOrdering
See theIsShadowOrdering companion object

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