salve ..
io devo far un progetto ..e in questo ho bisogno di utilizzare il pacchetto buddy che un pacchetto per l'utilizzo dei bdd..

a questo punto guardando la documentazione del pacchetto ho inizializzato tutte le variabili e il bdd . fin qui senza aver problemi

codice:
	 
bdd a0,a1,a2,a3,a4,a5,a6,a7,a8,out0,out1,out2;  	
a0=bdd_ithvar(1);
a1=bdd_ithvar(2); 	
a2=bdd_ithvar(3); 	
a3=bdd_ithvar(4); 	
a4=bdd_ithvar(5); 	
a5=bdd_ithvar(6); 	
a6=bdd_ithvar(7); 	
a7=bdd_ithvar(8); 	
a8=bdd_ithvar(9); 	
out0=bdd_ithvar(10); 	
out1=bdd_ithvar(11); 	
out2=bdd_ithvar(12);  	

bdd_init(100,100); 	
bdd_setvarnum(5);

a questo punto avevo bisogno di creare un array con all'interno bdd e avevo optato per una soluzione cosi:

codice:
bdd v[8]={a0,a1,a2,a3,a4,a5,a6,a7};         
bdd v_and[3]={out0,out1,out2};         
bdd v_or[3]={out0,out1,out2};    
bdd v_not[3]={out0,out1,out2};

però mi segna errore .sapete aiutarmi su come posso fare un array di questo tipo?

grazie