bellamarip
Hello,
I want to ask about the Cudd packages.
I started working with this packages and i have some questions.
for now, i can create i BDD tree with CUDD but my problem is to get the solutions (when the = 1) from this BDD.
i searched in the fonctions and i think i can use: "DdNode * Cudd_SolveEqn (DdManager *bdd, DdNode *F, DdNode *Y, DdNode **G, int **yIndex, int n)" but i didn't find anywhere how i can use it or even if is the good function.
thank you for help me.
best regards
I want to ask about the Cudd packages.
I started working with this packages and i have some questions.
for now, i can create i BDD tree with CUDD but my problem is to get the solutions (when the = 1) from this BDD.
i searched in the fonctions and i think i can use: "DdNode * Cudd_SolveEqn (DdManager *bdd, DdNode *F, DdNode *Y, DdNode **G, int **yIndex, int n)" but i didn't find anywhere how i can use it or even if is the good function.
thank you for help me.
best regards