diff src/main/java/jp/ac/u_ryukyu/ie/cr/jungle/store/NodePath.java @ 0:44465893e8b8

first Commit
author Kazuma
date Wed, 30 Nov 2016 01:47:55 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/jungle/store/NodePath.java	Wed Nov 30 01:47:55 2016 +0900
@@ -0,0 +1,12 @@
+package jp.ac.u_ryukyu.ie.cr.jungle.store;
+
+import jp.ac.u_ryukyu.ie.cr.jungle.util.Pair;
+
+public interface NodePath extends Iterable<Integer>
+{
+	public NodePath add(int pos);
+	public Pair<Integer,NodePath> pop();
+	public NodePath tail();
+	public int size();
+	public Pair<Integer,NodePath> last();
+}