Package de.tilman_neumann.jml.powers

Class PurePowerTest.Result

java.lang.Object

de.tilman_neumann.jml.powers.PurePowerTest.Result

Enclosing class:

PurePowerTest

public static class PurePowerTest.Result
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
BigInteger	base
int	exponent

Constructor Summary

Constructors

Constructor	Description
Result(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 Detail

base

public BigInteger base

exponent

public int exponent

Constructor Detail

Result

public Result(BigInteger base,
              int exponent)