src/main/java/logic/is/power/tptp_parser/SimpleTptpParserOutput.java
/** Returns a string of "num" number of spaces. If num is less then 0
      then empty string is returned.
      @param num - number of white spaces to be returned. 
   */
Returns a string of "num" number of spaces. If num is less then 0
then empty string is returned.
Returns a string of " num " number of spaces . If num is less then 0 then empty string is returned .
private static String spaces(int num) { 
    String res = new String();
    for (;num>0;--num) {
      res += " ";
    }
    return res;
  }
private static String spaces ( int num ) { String res = new String ( ) ; for ( ; num > 0 ; -- num ) { res += " " ; } return res ; }
Returns a string of "num" number of spaces.
Returns a string of " num " number of spaces .