random property

Random random
final

A random generator used by some filters.

Implementation

final Random random;