import EDU.neu.ccs.demeter.*;
class Vertex
{
	public Ident name;
	public Vertex() {}
	public Vertex(Ident name)
	{
		this.name = name;
	}
}