package org.eclipse.stem.ui.grapheditor;

public class GraphDefs {

	public static double R = 100000;
	final static int 	UNDEFINED = -1 , 
						MIGRATION_EDGE = 0, 
						CONTAINMENT_EDGE = 1,
						COMMON_BORDER_EDGE = 2,
						AREA_LABEL = 2, 
						POPULATION_LABEL = 3,	
						NODE_TITLE=4, 
						NODE_URI=5, 
						NODE_LABEL=6, 
						EDGE_TITLE=7, 
						EDGE_AURI=8, 
						EDGE_BURI=9, 
						EDGE_LABEL_VALUE=10;
}