public static String inSeed(ITree t) {
return ITree.OPEN_SYMBOL + t.getLabel() + ITree.SEPARATE_SYMBOL + t.getType();
}
public static String outSeed(ITree t) {
return t.getType() + ITree.SEPARATE_SYMBOL + t.getLabel() + ITree.CLOSE_SYMBOL;
}
public static int standardHash(ITree t) {
return Integer.hashCode(t.getType()) + HashUtils.BASE * t.getLabel().hashCode();
}