|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
HasInvariant | Interface for classes that have invariant method implemented |
Class Summary | |
---|---|
DateHeader | Simple utility code to provide a header for (random) test files |
SeedRNGCommandLine | Used to produce a Random RNG object The RNG seed can be set by a command line parameter - the array of strings should be passed into the constructor If no parameter is passed or if the first parameter is not a valid integer then a default value of 0 is used to seed the RNG |
Exception Summary | |
---|---|
InvariantBroken | InvariantBroken is raised when the invariant of a class is not true in the current state of the instance |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |