random.nextint
1、当random.netInt(数字)中数字小的时候，比较容易重复。这个随机是有规律的。
2、可以用math.random()替代
具体使用如下：
如果是个位数 int aa = (int)(Math.random()*11);
如果是多位，double dd= Math.random(); dd加上0和点总共19位。可以用long转一下
文章最后发布于: 2018-08-28 14:47:53
相关阅读
randomize中的变量只支持2-state的values，不支持4-states。randc类型的变量不能被约束在solve------before的语句中。constraint可
.nextInt() 不读取到回车，会把回车留到流里面 所以 后面的.nextLine()会读取到一个空行，从而导致出现问题！
UUID含义是通用唯一识别码 (Universally Unique Identifier)，这 是一个软件建构的标准，也是被开源软件基金会 (Open Software Found
Java中关于nextInt()、next()和nextLine()
原博客地址：https://www.cnblogs.com/Skyar/p/5892825.htmlJava中关于nextInt()、next()和nextLine()的理解先看解释：nextInt(): it
Random.nextInt()随机产生一个数，如果有参数就是在0到参数之间产生。 如果Random对象指定了种子，Random r = new Random(100)，那么