1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
|
AdD-to-BDD(node)
Start
If (node is a basic event)
then
R := ite(node, 1, 0)
If not /* node is an operator*/
op := the operator associated with node
j := ?rst children of node
R := AdD-to-BDD(j )
For (for all the threads i of node and i is not egal to j)
Make
F := AdD-to-BDD(i )
R := BDD-OP(R,F,op) /* fonction qui définie*/
End for
End if
Return(R)
End
NB:la fonction qui définie BDD-OP(R,F,op) est définie
Ite signifie If then else or
Ite(F,G,H)=F*G+notF*H ou F,G et H sont desfonction ou des événement |
Partager