lemon/random.cc
changeset 690 1f08e846df29
parent 209 765619b7cbb2