// DoubleKey.java
//
// (c) 1999-2001 PAL Development Core Team
//
// This package may be distributed under the
// terms of the Lesser GNU General Public License (LGPL)


package pal.util;

import java.io.*;

/**
 * @author Alexei Drummond
 * @version $Id: DoubleKey.java,v 1.1 2001/09/17 23:48:18 alexi Exp $
 */
public interface DoubleKey extends java.lang.Comparable {

	double getKey();	
}
