Merge/MergePorts [ Merge ]
SUMMARY
Merge HiLeS Ports. ($Rev: 136 $)
DESCRIPTION
The resulting Port properties are inherited from the structural model because matching ports have the same properties in both models.
DOMAIN
- hilesS - https://hiles.uniandes.edu.co/1.0/HiLeS
- hilesB - https://hiles.uniandes.edu.co/1.0/HiLeS
- hiles - https://hiles.uniandes.edu.co/1.0/HiLeS
SYNOPSIS
rule MergePorts merge sp : hilesS!Port with bp : hilesB!Port into hp : hiles!Port