seed

dolfin.cpp.function.seed(*args)

Seed random number generator