public class Random {
public static void set_seed ( uint32 seed ) ;
public static bool boolean ( ) ;
public static uint32 next_int ( ) ;
public static int32 int_range ( int32 begin,
int32 end ) ;
public static double next_double ( ) ;
public static double double_range ( double begin,
double end ) ;
}

public static void set_seed ( uint32 seed ) ;
public static bool boolean ( ) ;
public static uint32 next_int ( ) ;
public static int32 int_range ( int32 begin,
int32 end ) ;
public static double next_double ( ) ;
public static double double_range ( double begin,
double end ) ;
Created by Valadoc