C# (CSharp) ATermTests TestPrimes Exemples

Exemple #1

Fichier : Test1.cs Projet : scrasmussen/aterms

        public void testPrimes(int n)
        {
            TestPrimes t     = new TestPrimes(factory);
            long       start = DateTime.Now.Ticks;
            ATermList  l     = t.getPrimes(n);
            long       end   = DateTime.Now.Ticks;

            Console.Out.WriteLine("primes(" + n + ") in " + (end - start) + " ms");
            //Console.Out.WriteLine(" primes(" + n + ") = " + l);
            Console.Out.WriteLine("#primes(" + n + ") = " + l.getLength());
            Console.Out.WriteLine(factory);
        }

Exemple #2

Fichier : Test1.cs Projet : jianglili007/aterms

		public void testPrimes(int n) 
		{
			TestPrimes t = new TestPrimes(factory);
			long start   = DateTime.Now.Ticks;
			ATermList l  = t.getPrimes(n);
			long end     = DateTime.Now.Ticks;
    
			Console.Out.WriteLine("primes(" + n + ") in " + (end-start) + " ms");
			//Console.Out.WriteLine(" primes(" + n + ") = " + l);
			Console.Out.WriteLine("#primes(" + n + ") = " + l.getLength());
			Console.Out.WriteLine(factory);
		}