public class Rand {
public Rand.with_seed ( uint32 seed ) ;
public Rand.with_seed_array ( uint32[] seed,
uint seed_length ) ;
public Rand ( ) ;
public void set_seed ( uint32 seed ) ;
public void set_seed_array ( uint32[] seed,
uint seed_length ) ;
public bool boolean ( ) ;
public uint32 next_int ( ) ;
public int32 int_range ( int32 begin,
int32 end ) ;
public double next_double ( ) ;
public double double_range ( double begin,
double end ) ;
}

public Rand.with_seed ( uint32 seed ) ;
public Rand.with_seed_array ( uint32[] seed,
uint seed_length ) ;
public Rand ( ) ;
public void set_seed ( uint32 seed ) ;
public void set_seed_array ( uint32[] seed,
uint seed_length ) ;
public bool boolean ( ) ;
public uint32 next_int ( ) ;
public int32 int_range ( int32 begin,
int32 end ) ;
public double next_double ( ) ;
public double double_range ( double begin,
double end ) ;
Created by Valadoc