#1 BDDDomain::varRange( long, long ) doesn't work as expected

[Haim Cohen]

package net.sf.sets.test;

import net.sf.javabdd.*;

public class AmIaBug {

public static void main(String[] args) {
BDDFactory fact =
//BuDDyFactory.init( 10000, 10000) ;
JFactory.init( 10000, 10000 ) ;
//CALFactory.init( 10000, 10000) ;
//CUDDFactory.init( 10000, 10000 ) ;

int doms[] = {4,2} ;
fact.extDomain( doms ) ;

// getting 2.0 - OK
// all expected sat assignments : {(0,0),(0,1)}
System.out.println( fact.getDomain( 0 ).varRange( 0,0
).satCount() ) ;

// expecting 2.0, but getting 4.0
// all expected sat assignments : {(1,0),(1,1)}
System.out.println( fact.getDomain( 0 ).varRange( 1,1
).satCount() ) ;

// getting 2.0 - OK
// all expected sat assignments : {(2,0),(2,1)}
System.out.println( fact.getDomain( 0 ).varRange( 2,2
).satCount() ) ;

try {
System.out.println( fact.getDomain( 0 ).varRange(
3,3 ).satCount() ) ;
} catch ( Exception ex ) {
// expecting 2.0, but getting an exception
// all expected sat assignments : {(3,0),(3,1)}
ex.printStackTrace() ;
}
}

}

[Haim Cohen]

problem reproduction