return "ConstraintGraph[Vertices: " + getNumVertexLabels() + " Edges: " + getNumEdgeLabels() + "]";
return "ConstraintGraph[Vertices: " + getNumVertices() + " Edges: " + getNumEdges() + "]";
	public String toString() {		return "ConstraintGraph[Vertices: " + getNumVertexLabels() + " Edges: " + getNumEdgeLabels() + "]";	}