Class PurePowerTest.Result

java.lang.Object
de.tilman_neumann.jml.powers.PurePowerTest.Result
Enclosing class:
PurePowerTest

public static class PurePowerTest.Result
extends java.lang.Object
  • Field Summary

    Fields
    Modifier and Type Field Description
    java.math.BigInteger base  
    int exponent  
  • Constructor Summary

    Constructors
    Constructor Description
    Result​(java.math.BigInteger base, int exponent)  
  • Method Summary

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Field Details

    • base

      public java.math.BigInteger base
    • exponent

      public int exponent
  • Constructor Details

    • Result

      public Result​(java.math.BigInteger base, int exponent)