public static void printState(TLCState currentState,int num){
  MP.printState(EC.TLC_STATE_PRINT1,new String[]{String.valueOf(num),currentState.toString()},currentState,num);
}

public static void printState ( TLCState currentState , int num ) { MP . printState ( EC . TLC_STATE_PRINT1 , new String [ ] { String . valueOf ( num ) , currentState . toString ( ) } , currentState , num ) ; }
prints the state with number
