Here you can find the source of hashTermToString(int i, int h)
public static String hashTermToString(int i, int h)
//package com.java2s; //License from project: Apache License public class Main { private static final String DELIMITER = "a"; public static String hashTermToString(int i, int h) { return Integer.toString(i) + DELIMITER + Integer.toString(h); }//from ww w. java2s. c om }