Listing 3
1: #include "fdd.h" 2: #include "bvec.h" 3: #define MAX_NUMBER 4 4: 5: int domain[] = { MAX_NUMBER, MAX_NUMBER } ; 6: fdd_extdomain( domain, 2 ) ; 7: bvec a_vec = bvec_varfdd( 0 ) ; 8: bvec b_vec = bvec_varfdd( 1 ) ; 9: bdd eq = bvec_equ( a_vec , b_vec ) ; 10: // Output: 11: // <0:0, 1:0, 2:0, 3:0><0:0, 1:0, 2:1, 3:1> 12: // <0:1, 1:1, 2:0, 3:0><0:1, 1:1, 2:1, 3:1> 13: cout << endl << eq << endl ; 14: // Output: 15: // <0:0, 1:0><0:2, 1:2><0:1, 1:1><0:3, 1:3> 16: cout << endl << fddset << eq << endl ;