Esempi in C# (CSharp) per Acceptor.__ctor

Esempio n. 1

File: Program.cs Progetto: jyizheng/Paxos-in-Dafny

        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);
        }