void 
Bdd_End(
    
)
Quit the BddFsm package


void 
Bdd_Init(
    
)
Initializes the BddFsm package.


Last updated on 2005/05/05 18h:05