void 
Bdd_End(
    
)
Quit the BddFsm package


void 
Bdd_Init(
    
)
Initializes the BddFsm package.


Last updated on 2006/08/01 10h:49