viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.analysis
/
ProtocolAnalysis
/
hostsToSync
hosts
To
Sync
fun
hostsToSync
(
statement
:
StatementNode
)
:
Set
<
Host
>
Returns the set of hosts that will synchronize with
statement
.