toggle menu
pulvreakt
0.10.1-dev0q+0606a4a6dd
common
switch theme
search in API
core
/
it.unibo.pulvreakt.dsl.deployment
/
OnDeviceScope
/
OnDeviceScope
On
Device
Scope
constructor
(
deviceStructure
:
DeviceStructure
,
infrastructure
:
NonEmptySet
<
Host
>
)