/*
 * POSITION.java
 *
 * Created on December 8, 2008, 6:28 PM
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package graph2;

/**
 *
 * @author suchenek
 */
//Copyright Dr. Marek A. Suchenek, 2005, 2006, 2007, 2008

// Interpretation: Object of class POSITION always points to the previous element (for an extra level of indirection);
// needed to accomodate "end" position (next after last).

// Definition of position of an element x in a list L: a subtail N of list L such that
// x is the head of tail of N.

// Subtail of a list L is either L itself or (if L is non-empty) a subtail of tail of L



public class POSITION
{
	public Object head;
	public POSITION tail;

	public boolean isEqual(POSITION p)
	{
		return (this == p);
	}

}