Changeset 21 for vis_dev/vis-2.3/src/fsm


Ignore:
Timestamp:
Jul 19, 2011, 4:51:20 PM (13 years ago)
Author:
cecile
Message:

un delete de trop

File:
1 edited

Legend:

Unmodified
Added
Removed

  • vis_dev/vis-2.3/src/fsm/fsm.h

    r14 r21  
    330330EXTERN void Fsm_ImageInfoConjoinWithWinningStrategy( Fsm_Fsm_t *modelFsm, Img_DirectionType directionType, mdd_t *winningStrategy);
    331331EXTERN void Fsm_ImageInfoRecoverFromWinningStrategy( Fsm_Fsm_t *modelFsm, Img_DirectionType directionType);
    332 
     332int ComputeNumberOfBinaryStateVariables(mdd_manager *mddManager, array_t *mddIdArray);
    333333
    334334/**AutomaticEnd***************************************************************/
Note: See TracChangeset for help on using the changeset viewer.