view src/main/csharp/jp.ac.u-ryukyu.ie.cr/jungle/store/NodePath.cs @ 0:dec15de2c6ff

first commit
author Kazuma
date Tue, 21 Jun 2016 17:11:12 +0900
parents
children
line wrap: on
line source

using System.Collections.Generic;
public interface NodePath : IEnumerable<int> {
	NodePath add (int pos);
	Pair<int,NodePath> pop();
	NodePath tail();
	int size();
	Pair<int, NodePath> last();
}