Interfere

onera.pmlanalyzer.views.interference.operators.Interfere$
object Interfere

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

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:

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

Givens

Givens

given given_Interfere_LP_RS[LP, RS <: Service](using transformation: Transform[LP, Option[PhysicalTransactionId]], ev: Interfere[PhysicalTransactionId, Service]): given_Interfere_LP_RS[LP, RS]
given given_Interfere_LS_RS[LS <: Service, RS <: Service](using ev: Interfere[Service, Service]): given_Interfere_LS_RS[LS, RS]
given given_Interfere_L_R[L, R](using a: InterfereRelation[L, R], n: NotInterfereRelation[L, R]): given_Interfere_L_R[L, R]
given given_Interfere_L_RS[L, RS <: Service](using transformation: Transform[L, Set[PhysicalTransactionId]], ev: Interfere[PhysicalTransactionId, Service]): given_Interfere_L_RS[L, RS]
given given_Interfere_PhysicalTransactionId_R[R <: Service](using ev: Interfere[PhysicalTransactionId, Service]): given_Interfere_PhysicalTransactionId_R[R]