comparison src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java @ 166:6615db346bf5

miner change
author one
date Wed, 24 Dec 2014 14:33:17 +0900
parents 89ed172137ab
children 1749338f2366 3cd075a445bf
comparison
equal deleted inserted replaced
163:7be56a1be5d9 166:6615db346bf5
1 package jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index; 1 package jp.ac.u_ryukyu.ie.cr.tatsuki.jungle.store.index;
2 2
3 import java.util.Iterator; 3 import java.util.Iterator;
4 4
5
6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode; 5 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNode;
7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNodeChildren; 6 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.store.impl.TreeNodeChildren;
8 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.TreeMapOrd; 7 import jp.ac.u_ryukyu.ie.cr.shoshi.jungle.util.TreeMapOrd;
8 import fj.Ord;
9 import fj.data.Option; 9 import fj.data.Option;
10 import fj.data.TreeMap; 10 import fj.data.TreeMap;
11 11
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 parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd); 17 Ord<TreeNode> aaa = TreeMapOrd.treeNodeOrd;
18 parentIndex = TreeMap.empty(aaa);
18 } 19 }
19 20
20 public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) { 21 public ParentIndex(TreeMap<TreeNode, TreeNode> parentIndex) {
21 this.parentIndex = parentIndex; 22 this.parentIndex = parentIndex;
22 } 23 }