abstract class Boleite::Random
- Boleite::Random
- Reference
- Object
Included Modules
- CrystalClear
Direct Known Subclasses
Defined in:
boleite/random.crConstructors
Instance Method Summary
- #contract_ensures_get_int(return_value, min, max)
- #contract_post_get_int(check_depth, return_value, min, max)
- #contract_pre_get_int(check_depth, min, max)
- #contract_requires_get_int(min, max)
- #get_int(min, max) : UInt32
- #get_int : UInt32
- #get_zero_to_one : Float64
-
#rand(max : Int) : Int
Method used by standard library
- #seed
- #test_invariant_contracts(method = "")