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