viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.analysis
/
ProtocolAnalysis
/
participatingHosts
participating
Hosts
fun
participatingHosts
(
statement
:
StatementNode
)
:
Set
<
Host
>
Content copied to clipboard
Returns the set of hosts that participate in the execution of
statement
.