viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.selection
/
ProtocolComposer
/
mandatoryParticipatingHosts
mandatory
Participating
Hosts
abstract
fun
mandatoryParticipatingHosts
(
protocol
:
Protocol
,
statement
:
SimpleStatementNode
)
:
Set
<
Host
>
Content copied to clipboard