random property

Random random
final

Random generator used when creating random graphs.

Implementation

final Random random;