comparison src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java @ 173:f26535302c96

minner change
author one
date Mon, 16 Feb 2015 11:36:45 +0900
parents 809f813d1083
children e26462a38ce0
comparison
equal deleted inserted replaced
172:809f813d1083 173:f26535302c96
12 public class ParentIndex { 12 public class ParentIndex {
13 13
14 private TreeMap<TreeNode, TreeNode> parentIndex; 14 private TreeMap<TreeNode, TreeNode> parentIndex;
15 15
16 public ParentIndex() { 16 public ParentIndex() {
17 System.out.println(System.getProperty("java.version"));
18 parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd); 17 parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd);
19 } 18 }
20 19
21 public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) { 20 public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) {
22 this.parentIndex = parentIndex; 21 this.parentIndex = parentIndex;