Interfere
onera.pmlanalyzer.views.interference.operators.Interfere$
object Interfere
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- Interfere.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 Objecttrait Matchableclass 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]