Navigation menu

OC Systems Wiki!
  • OC Systems Inc
    • Products
    • Services
    • Company
    • Support
  • Guides
    • PowerAda 5 User Guide
    • Aprobe+Rootcause Documentation
    • Ada Reference Manual
    • Ada 95 Rationale
  • Login
  • Secure Upload

PowerAda 67

From OC Systems Wiki!
< PowerAda:APPENDIX C. Implementation Characteristics‎ | Annex M
Jump to: navigation, search


Appendix C
  • Notice
  • Chapter 1. Overview
  • Chapter 2. Getting Started
  • Chapter 3. Basic PowerAda Concepts
  • Chapter 4. The PowerAda Development Environment
  • Chapter 5. Project Management with PowerAda
  • Chapter 6. The PowerAda Debugger: adbg
  • Chapter 7. Interface to Other Languages
  • Chapter 8. Implementation Details
  • Chapter 9. Optimization
  • APPENDIX A - Glossary
  • APPENDIX B - Support Packages
  • APPENDIX C - Implementation Characteristics
  • APPENDIX D - Demos and Tutorials
  • APPENDIX E - Tools Reference
  • APPENDIX F - Debugger Command Reference
  • Index
Contents |  Installation Guide | Release Notes
First | Prev | Next | Last

(67) The minimum time interval between calls to the time-dependent Reset procedure that are guaranteed to initiate different random number sequences.

See A.5.2(45).

The minimum time interval between calls to Reset must be one second to guarantee that different random number sequences are initiated.

Retrieved from "https://www.ocsystems.com/w/index.php?title=PowerAda:APPENDIX_C._Implementation_Characteristics/Annex_M/67&oldid=2218"