You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Eddie Kohler edited this page Oct 17, 2017
·
2 revisions
RandomSeed Element Documentation
NAME
RandomSeed — Click element;
sets random seed
SYNOPSIS
RandomSeed([SEED])
Ports: none
DESCRIPTION
RandomSeed sets the random seed to the SEED argument. If not supplied, the
random seed is set to a "truly random" value. (This is not generally useful
since Click resets the random seed to a "truly random" value whenever a router
is configured.)
ELEMENT HANDLERS
seed (write-only) —
Write this handler to reset the random seed, either to a particular value or
(if you supply an empty argument) to a "truly random" value.
Generated by click-elem2man from ../elements/test/randomseed.hh:7 on 2017/10/17.