Question

通常，调用一个没有随机变量的类的randomize方法会导致这个方法作为一个检查器使用，也就是说它不会赋随机值，而是仅仅返回一个状态：如果所有的约束都被满足返回1，否则返回0。内联随机变量控制机制还可以用来强制randomize()方法作为一个检查器使用。

randomize方法可以接受特殊的参数null，它用来指示在调用期内没有随机变量。也就是说，所有的类成员均作为状态变量使用。这会导致randomize方法作为一个检查器使用而不是作为一个产生器使用。一个检查器会计算所有的约束并简单地在所有的约束都被满足时返回1，否则返回0。例如，如果上面定义的类CA执行了下列的调用：

success = a.randomize(null);  // 没有随机变量

那么，求解器将所有的变量作为状态变量使用，并仅仅检查约束是否满足，也就是检查当使用x、y、v和w的当前值的时候(x < v && y > w)的关系是否为真。