lemon/random.cc
branch1.0
changeset 386 894dbb06f7e3
parent 39 0a01d811071f