package graphtea.extensions.generators; // GraphTea Project: http://github.com/graphtheorysoftware/GraphTea // Copyright (C) 2012 Graph Theory Software Foundation: http://GraphTheorySoftware.com // Copyright (C) 2008 Mathematical Science Department of Sharif University of Technology // Distributed under the terms of the GNU Lesser General Public License (LGPL): http://www.gnu.org/licenses/ import graphtea.graph.graph.Edge; import graphtea.graph.graph.GPoint; import graphtea.graph.graph.GraphModel; import graphtea.graph.graph.Vertex; import graphtea.platform.lang.CommandAttitude; import graphtea.platform.parameter.Parameter; import graphtea.platform.parameter.Parametrizable; import graphtea.plugins.graphgenerator.core.extension.GraphGeneratorExtension; @CommandAttitude(name = "generate_helmn", abbreviation = "_g_prism", description = "generates a Prism graph of order n") public class AntiprismGraph implements GraphGeneratorExtension, Parametrizable { //the depth should be positive, and also if it is very large the //generated graph is too large to generate. //@Parameter(description = "depth of the tree") //public BoundedInteger depth = new BoundedInteger(3, 15, 1); @Parameter(name = "n",description = "Num of vertices") public static int n = 4; //num of vertices public String checkParameters() { //d = depth.getValue(); //n = (int) (Math.pow(2, d + 1) - 1); //return null; //the parameters are well defined. //////// !!! check it later!!! //if (n<4)return "n must be higher than 4!!! For more information check: 'http://mathworld.wolfram.com/CubicalGraph.html'"; //else if(n<0)return "n must be positive!"; else return null; } public String getName() { return "Antiprism Graph"; } public String getDescription() { return "Antiprism Graph"; } public GPoint[] getVertexPositions() { return PrismGraph.computePrismCoords(n); } public GraphModel generateGraph() { GraphModel g = new GraphModel(false); Vertex[] v = new Vertex[2 * n]; Edge[] e = new Edge[4 * n]; //generating vertices for (int i = 0; i < 2 * n; i++) { v[i] = new Vertex(); } g.insertVertices(v); int cnt =0; //generating edges for (int i = 0; i < n; i++) { e[cnt] = new Edge(v[i], v[(i + 1) % n]); cnt++; if ((i + n + 1) == 2 * n) e[cnt] = new Edge(v[i + n], v[n]); else e[cnt] = new Edge(v[i + n], v[i + n + 1]); cnt++; e[cnt] = new Edge(v[i], v[(i+n)]); cnt++; e[cnt] = new Edge(v[(i + 1) % n], v[i+n]); cnt++; } g.insertEdges(e); //generating and setting vertex positions GPoint[] pos = getVertexPositions(); for (int i = 0; i < 2*n; i++) v[i].setLocation(pos[i]); return g; } @Override public String getCategory() { return "Prism Graphs"; } }