C# (CSharp) ATermTests TestPrimes 예제들

예제 #1

파일: Test1.cs 프로젝트: 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);
        }

예제 #2

파일: Test1.cs 프로젝트: 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);
		}