Nondet.java

package droidelhelpers;

import java.util.Random;

public class Nondet {
    private static Random r = new Random();
    
    public static int nondetInt() {
	return r.nextInt();
    }
    
    public static boolean nondetBool() {
	return r.nextBoolean();
    }
}