Graph Script Code

function vertices()
{
	return Graph.getVertices().toArray();
}

function applyToVertices(func)
{
	var vArray = vertices();
	var c = Graph.numVertices();
	for (var i = 0; i < c; i++)
	{
		func(vArray[i]);
	}
}

function setVertexColor(vertex,color)
{
	var vc = VC_BLACK;
	switch (color.toLowerCase())
	{
		case 'red' : vc = VC_RED; break;
		case 'white' : vc = VC_WHITE; break;
		case 'grey' : vc = VC_GREY; break;
		case 'blue' : vc = VC_BLUE; break;
	}
	GraphUI.setVertexColor(vertex,vc);
}

function setVertexLabel(vertex,label)
{
	GraphUI.setVertexLabel(vertex,label || '');
}

function setVertexData(vertex,key,value)
{
	Graph.setVertexData(vertex,key,value);
}