pulvreakt
Toggle table of contents
0.10.1-dev16+864eaad844
common
Platform filter
common
Switch theme
Search in API
pulvreakt
core
/
it.unibo.pulvreakt.dsl.model
/
ConfiguredDevicesRuntimeConfiguration
Configured
Devices
Runtime
Configuration
typealias
ConfiguredDevicesRuntimeConfiguration
=
NonEmptySet
<
DeviceRuntimeConfiguration
>