onera.pmlanalyzer.pml.operators.Linked$.Ops
If an element l of type L is linked to other elements of type R then the operator can be used
To access to the element of type R linked to l
To access to the element of type R pointing to l
Attributes
- Note:
Linked operators is an advanced feature and should not be necessary for basic models
- Graph
- Supertypes
class Object
trait Matchable
class Any
Members list
Concise view
Extensions
PML keyword to retrieve elements pointing to self
PML keyword to retrieve elements pointing to self
Attributes
- R
the type of pointing elements
- linked
the proof that elements of type L can point to self
- Returns:
the set of pointing elements
PML keyword to retrieve elements linked to self
PML keyword to retrieve elements linked to self
Attributes
- R
the type of linked elements
- linked
the proof that elements of type R can be linked to self
- Returns:
the set of linked elements
