void function ( Random arg0 ) { m_Random = arg0 ; }
sets the random number generator to use concode_field_sep Random m_Random concode_elem_sep boolean m_Debug concode_field_sep Enumeration listOptions concode_elem_sep boolean getDebug concode_elem_sep Random getRandom concode_elem_sep String getSpecification concode_elem_sep Flipper forName concode_elem_sep void setOptions concode_elem_sep String globalInfo concode_elem_sep String[] getOptions concode_elem_sep double flipLabel concode_elem_sep void setDebug concode_elem_sep void assign