import edu.neu.ccs.demeter.dj.*;
import edu.neu.ccs.demeter.*;

public class Labeled_vertex
{
	public Ident label_name;
	public Vertex class_name;	
	public Labeled_vertex(Ident label_name,Vertex class_name)
	{
		this.label_name = label_name;
		this.class_name = class_name;
    }
}