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