Package de.tilman_neumann.jml.powers
-
Class Summary Class Description Pow Pow2 PurePowerTest Test for pure powers (with exponent >= 2).PurePowerTest.Result
| Class | Description |
|---|---|
| Pow | |
| Pow2 | |
| PurePowerTest |
Test for pure powers (with exponent >= 2).
|
| PurePowerTest.Result |