Exclusive

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

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

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

Givens

Givens

given given_Exclusive_T[T](using relation: ExclusiveRelation[T]): given_Exclusive_T[T]