public class Settings
extends java.lang.Object
Constructor and Description |
---|
Settings() |
Modifier and Type | Method and Description |
---|---|
static int |
getAnimationDelay()
Gets the animation delay.
|
static double |
getClusteringExponent()
Gets the clustering exponent.
|
static int |
getCol_count()
Gets the col count.
|
static int |
getEdgeLabelSize()
Gets the edge label size.
|
static int |
getEvolve()
Gets the evolve.
|
static java.lang.String |
getGGA()
Gets the gga.
|
static int |
getGridGraphColumns()
Gets the grid graph columns.
|
static int |
getGridGraphDistX()
Gets the grid graph dist X.
|
static int |
getGridGraphDistY()
Gets the grid graph dist Y.
|
static int |
getGridGraphRows()
Gets the grid graph rows.
|
static boolean |
getHideEdgeLabels()
Gets the hide edge labels.
|
static boolean |
getHideExpandedVertices()
Gets the hide expanded vertices.
|
static int |
getInit_vertices()
Gets the inits the vertices.
|
static int |
getNumEdges()
Gets the num edges.
|
static int |
getNumEdgesToAttach()
Gets the num edges to attach.
|
static int |
getNumVertices()
Gets the num vertices.
|
static int |
getR()
Gets the r.
|
static java.lang.String |
getResultUnit()
Gets the result unit.
|
static int |
getRow_count()
Gets the row count.
|
static int |
getSeed()
Gets the seed.
|
static void |
setAnimationDelay(int delay)
Sets the animation delay.
|
static void |
setClusteringExponent(double i)
Sets the clustering exponent.
|
static void |
setCol_count(int i)
Sets the col count.
|
static void |
setEdgeLabelSize(int i)
Sets the edge label size.
|
static void |
setEvolve(int i)
Sets the evolve.
|
static void |
setGGA(java.lang.String s)
Sets the gga.
|
static void |
setGridGraphColumns(int i)
Sets the grid graph columns.
|
static void |
setGridGraphDistX(int x)
Sets the grid graph dist X.
|
static void |
setGridGraphDistY(int y)
Sets the grid graph dist Y.
|
static void |
setGridGraphRows(int i)
Sets the grid graph rows.
|
static void |
setHideEdgeLabels(boolean b)
Sets the hide edge labels.
|
static void |
setHideExpandedVertices(boolean b)
Sets the hide expanded vertices.
|
static void |
setInit_vertices(int i)
Sets the inits the vertices.
|
static void |
setNumEdges(int i)
Sets the num edges.
|
static void |
setNumEdgesToAttach(int i)
Sets the num edges to attach.
|
static void |
setNumVertices(int i)
Sets the num vertices.
|
static void |
setR(int i)
Sets the r.
|
static void |
setResultUnit(java.lang.String s)
Sets the result unit.
|
static void |
setRow_count(int i)
Sets the row count.
|
static void |
setSeed(int i)
Sets the seed.
|
public static void setHideExpandedVertices(boolean b)
b
- the new hide expanded verticespublic static boolean getHideExpandedVertices()
public static void setGridGraphDistX(int x)
x
- the new grid graph dist Xpublic static void setGridGraphDistY(int y)
y
- the new grid graph dist Ypublic static int getGridGraphDistX()
public static int getGridGraphDistY()
public static int getGridGraphColumns()
public static void setGridGraphColumns(int i)
i
- the new grid graph columnspublic static int getGridGraphRows()
public static void setGridGraphRows(int i)
i
- the new grid graph rowspublic static void setHideEdgeLabels(boolean b)
b
- the new hide edge labelspublic static boolean getHideEdgeLabels()
public static void setEdgeLabelSize(int i)
i
- the new edge label sizepublic static int getEdgeLabelSize()
public static void setResultUnit(java.lang.String s)
s
- the new result unitpublic static java.lang.String getResultUnit()
public static void setAnimationDelay(int delay)
delay
- the new animation delaypublic static int getAnimationDelay()
public static double getClusteringExponent()
public static void setClusteringExponent(double i)
i
- the new clustering exponentpublic static int getCol_count()
public static void setCol_count(int i)
i
- the new col countpublic static int getRow_count()
public static void setRow_count(int i)
i
- the new row countpublic static int getR()
public static void setR(int i)
i
- the new rpublic static int getNumVertices()
public static void setNumVertices(int i)
i
- the new num verticespublic static int getNumEdges()
public static void setNumEdges(int i)
i
- the new num edgespublic static java.lang.String getGGA()
public static void setGGA(java.lang.String s)
s
- the new ggapublic static int getNumEdgesToAttach()
public static void setNumEdgesToAttach(int i)
i
- the new num edges to attachpublic static int getInit_vertices()
public static void setInit_vertices(int i)
i
- the new inits the verticespublic static int getSeed()
public static void setSeed(int i)
i
- the new seedpublic static int getEvolve()
public static void setEvolve(int i)
i
- the new evolve