pml_analyzer
DocsAPI
Generated with
pml_analyzer/onera.pmlanalyzer.views.interference.operators/Interfere/Ops

Ops

onera.pmlanalyzer.views.interference.operators.Interfere$.Ops
trait Ops

If an element x of type L and an element y of type R can interfere then the operator can be used as follows:

x interferes with y

x interfereWith y

x does not interfere with y

x notInterfereWith y

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [L](self: L)
def interfereWith[R](that: R)(using ev: Interfere[L, R]): Unit
def interfereWith[R](that: Iterable[R])(using ev: Interfere[L, R]): Unit
def notInterfereWith[R](that: R)(using ev: Interfere[L, R]): Unit
def notInterfereWith[R](that: Iterable[R])(using ev: Interfere[L, R]): Unit
Generated with