Package p_tools

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