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 ;