/* If the action contains a next, then we must preload the current
* state since the action may or may not set it. */
if ( trans->action->anyNextStmt() )
/* If the action contains a next, then we must preload the current
* state since the action may or may not set it. */
if ( trans->action->anyNextStmt() )
/* Write each action in the list. */
for ( GenActionTable::Iter item = trans->action->key; item.lte(); item++ )
/* Write each action in the list. */
for ( GenActionTable::Iter item = trans->action->key; item.lte(); item++ )
if ( st->toStateAction != 0 ) {
/* Remember that we wrote an action. Write every action in the list. */
if ( st->toStateAction != 0 ) {
/* Remember that we wrote an action. Write every action in the list. */
for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
if ( st->partition == partition && st->outNeeded ) {
outLabelUsed = true;
for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
if ( st->partition == partition && st->outNeeded ) {
outLabelUsed = true;