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

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

}