public static void printState(TLCState currentState,TLCState lastState,int num){
  String stateString;
  if (lastState != null && TLCGlobals.printDiffsOnly) {
    stateString=currentState.toString(lastState);
  }
 else {
    stateString=currentState.toString();
  }
  MP.printState(EC.TLC_STATE_PRINT1,new String[]{String.valueOf(num),stateString},currentState,num);
}

public static void printState ( TLCState currentState , TLCState lastState , int num ) { String stateString ; if ( lastState != null && TLCGlobals . printDiffsOnly ) { stateString = currentState . toString ( lastState ) ; } else { stateString = currentState . toString ( ) ; } MP . printState ( EC . TLC_STATE_PRINT1 , new String [ ] { String . valueOf ( num ) , stateString } , currentState , num ) ; }
prints the state information if the tlc runs in print - diff - only mode and the last state is set , it will print the diff only
