if (gmssPrivateKey.getIndex(0) >= gmssPrivateKey.getNumLeafs(0))
if (gmssPrivateKey.getIndex(0) >= gmssPrivateKey.getNumLeafs(0))
.floor((double)(this.getNumLeafs(layer) * 2) / (double)(this.heightOfTrees[layer - 1] - this.K[layer - 1]));
.floor((double)(this.getNumLeafs(layer) * 2) / (double)(this.heightOfTrees[layer - 1] - this.K[layer - 1]));