Code example for BigInteger

Methods: add

0
    public BigInteger getNumProofsConsidered() {
        return numProofsConsidered;
    } 
 
    public void incrementProofsConsidered() { 
        numProofsConsidered = numProofsConsidered.add(BigInteger.ONE);
    } 
 
    public void accumulate(Metrics m) {
        numProofsConsidered = numProofsConsidered.add(m.numProofsConsidered);
        numTimesBacktracked = numTimesBacktracked.add(m.numTimesBacktracked);
    } 
 
    public void clear() { 
        numTimesBacktracked = BigInteger.ZERO;
        numProofsConsidered = BigInteger.ZERO;
        ruleCount = 0;
        rulesTried = 0;
    } 
}