void 
Bdd_End(
    
)
Quit the BddFsm package


void 
Bdd_Init(
    
)
Initializes the BddFsm package.


Last updated on 2005/07/19 12h:35