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

Ops

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

If an element x of type T is transparent then the operator can be used as follows

x.isTransparent

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Extensions

Extensions

extension [T](x: T)
def isTransparent(using ev: Transparent[T]): Unit

The element x is discarded for interference analysis

The element x is discarded for interference analysis

Attributes

ev

proof that T can be discarded

Generated with