Ops
onera.pmlanalyzer.pml.operators.Link$.Ops
trait Ops
If an element x of type T is linkable then the operator can be used as follows
to link an element l to an element r
l link r
to unlink an element l with an element r
l unlink r
Attributes
- See also:
usage are available in pml.examples.simpleKeystone.SimpleKeystonePlatform
- Note:
currently any pml.model.hardware.Hardware or pml.model.service.Service are linkable with soundness restriction. Additionally, the link can be made only within a platform container
- Graph
- Supertypes
- class Objecttrait Matchableclass Any