internal BVAlgebraBase(DecisionTree dtree, IntervalSet[] partition, int nrOfBits) { this.dtree = dtree; this.partition = partition; this.nrOfBits = nrOfBits; }