public Paxos(int port) { pro.__ctor(new BigInteger(-1), 0); acp.__ctor(0); lrn.__ctor(); BigInteger x = new BigInteger(replicas); int y; lrn.Configure(x); pro.Configure(x, out x, out y); this.server = new Server(this, port); this.client = new Client(this, this.server); localhost = new IPEndPoint(IPAddress.Loopback, server.port); peers.Add(localhost); proposers.Add(localhost); acceptors.Add(localhost); learners.Add(localhost); }