Searched defs:FlagInitial (Results 1 – 2 of 2) sorted by relevance
126 int FlagInitial = 0; local
439 bddnode *B2fTreatInitialState( BehFigure, FlagInitial, StringInitial ) in B2fTreatInitialState() argument609 void B2fTreatState( BehFigure, FlagInitial, StringInitial ) in B2fTreatState() argument866 fsmfig_list *B2fBeh2Fsm( BehFigure, FlagInitial, StringInitial ) in B2fBeh2Fsm() argument