void 
Bdd_End(
    
)
Quit the BddFsm package


void 
Bdd_Init(
    
)
Initializes the BddFsm package.


Last updated on 2012/11/18 14h:16