viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.analysis
/
ProtocolAnalysis
/
participatingHosts
participating
Hosts
fun
participatingHosts
(
statement
:
StatementNode
)
:
Set
<
Host
>
Returns the set of hosts that participate in the execution of
statement
.