• Home
• fr.inria.gforge.spoon
• spoon-examples
• 1.4
• source code
• Primary.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

spoon.examples.distcalc.src.Primary Maven / Gradle / Ivy

package spoon.examples.distcalc.src;

import spoon.examples.distcalc.annotation.Node;

public abstract class Primary implements Services {

	@SuppressWarnings("unused")
	@Node
	boolean primary123(long n) {
		pre: if (n <= 3)
			;
		fun: primary(n);
		return true;
	}

	@SuppressWarnings("unused")
	@Node
	boolean primaryN(long n) {
		pre: if (n > 3)
			;
		fun: primary(n);
		for (long i = 2; i < n; i++) {
			if (primary(i)) {
				if (((double) n / (double) i) == n / i)
					return false;
			}
		}
		return true;
	}

	// @Node
	// boolean primary1(long n) {
	// fun: primary(n);
	// return true;
	// }
	//
}