// Place global declarations here.
const int HOSTS = 2;
const int alpha = 8;
const int beta = 15;
const int UBOUND = 600;
const int LBOUND = 10;
chan SYN[HOSTS+1], ACK[HOSTS+1], SYN_ACK[HOSTS+1];
int target_address; //Global variable to pass the target address to the networkNetworkconst int networkint target; // the target for the current network packet
void set_target() {
target = target_address;
}
PacketLostSynAckPacketInTransitAckPacketInTransitSynPacketInTransitReadyToReceiveHost_Handshakeconst int local, const int remote, const int networkclock c;
void set_target() {
target_address = remote;
}
EstablishedSynRcvdSynSentListenClosedNetwork1 = Network(0);
Network2 = Network(0);
Host1Handshake = Host_Handshake(1,2,0);
Host2Handshake = Host_Handshake(2,1,0);
system Network1, Network2 ,Host1Handshake,Host2Handshake;