package Examples;

/**
 * An implementation of some of the examples in Thomas Ball's paper,
 * to illustrate the difference between the RothermelHarrold algorithm and 
 * Ball's partial reachability algorithm.
 * 
 * @author Jeiel Schalkwijk
 *
 */

public class BallSelection {

	public int fig1orig(int a, int b) {
		if (a<6) {
			if(b>4) { a += 3;  }
			a += 2;
		}
		if(b < 3) { a -= 2;  }
		return a;
	}
	
	public int fig1mod(int a, int b) {
		if (a<6) {
			if(b>4) { a += 3;  }
			a += 2;
			if(b < 3) {	a -= 3; } else {a -= 5; }	
		} else {
			if(b < 3) { a -= 2;	}
		}
		return a;
	}	
	
}