Ops

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

If an element l of type T can be exclusive with another element r of type T, the following operator can be used

l exclusiveWith r

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [T](l: T)
def exclusiveWith(r: T)(using ev: Exclusive[T]): Unit