void 
Bdd_End(
    
)
Quit the BddFsm package


void 
Bdd_Init(
    
)
Initializes the BddFsm package.


Last updated on 2009/03/04 12h:51