public class JGraphTLib extends GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
DEFAULTDIRECTED, DEFAULTSIMPLE, DEFAULTWEIGHTED, SET_STATUS| Constructor and Description |
|---|
JGraphTLib() |
| Modifier and Type | Method and Description |
|---|---|
void |
checkPrefaceGraph(boolean directed,
boolean weighted,
boolean forceSimple,
GraphLibrary<?,?> preface)
Checks whether or not this graph library would be able to create a graph
which is equivalent to the given graph.
|
static JGraphTLib |
createFromJGraphTGraph(org.jgrapht.Graph<?,?> graph) |
JGraphTWeightedStatusEdge |
derivAddEdge(StdVertex vertex1,
StdVertex vertex2)
Must create an edge and add it to the internal graph.
|
StdVertex |
derivAddVertex()
Must create a vertex and add it to the internal graph.
|
StdVertex |
derivGetEndVertex(JGraphTWeightedStatusEdge edge)
Returns the end point of the given edge.
|
StdVertex |
derivGetStartVertex(JGraphTWeightedStatusEdge edge)
Returns the start point of the given edge.
|
void |
derivSetVertexIdent(StdVertex vertex,
java.lang.String ident)
Changes the identifier of the given vertex.
|
JGraphTWeightedStatusEdge |
getEdge(StdVertex vertex1,
StdVertex vertex2)
Returns the edge which contains the given vertices.
|
int |
getEdgeCount() |
java.lang.Object |
getEdgeData(JGraphTWeightedStatusEdge edge)
Returns the data of the given edge.
|
java.lang.Iterable<JGraphTWeightedStatusEdge> |
getEdges() |
java.lang.Object |
getEdgeStatus(JGraphTWeightedStatusEdge edge)
Returns the status of the given edge.
|
int |
getIngoingEdgeCount(StdVertex vertex)
Returns the amount of ingoing edges of the given vertex.
|
java.lang.Iterable<JGraphTWeightedStatusEdge> |
getIngoingEdges(StdVertex vertex)
Returns all ingoing edges of the given vertex.
|
org.jgrapht.graph.AbstractBaseGraph<StdVertex,JGraphTWeightedStatusEdge> |
getInternalGraph()
Returns the internal graph.
|
java.lang.String |
getLibName()
Returns the (constant) name of the graph library.
|
int |
getOutgoingEdgeCount(StdVertex vertex)
Returns the amount of outgoing edges of the given vertex.
|
java.lang.Iterable<JGraphTWeightedStatusEdge> |
getOutgoingEdges(StdVertex vertex)
Returns all outgoing edges of the given vertex.
|
int |
getVertexCount() |
java.lang.Object |
getVertexData(StdVertex vertex)
Returns the data of the given vertex.
|
java.lang.String |
getVertexIdent(StdVertex vertex)
Returns the identifier of the given vertex.
|
java.lang.Object |
getVertexStatus(StdVertex vertex)
Returns the status of the given vertex.
|
java.lang.Iterable<StdVertex> |
getVertices() |
boolean |
graphIsDirected(java.lang.Object graph) |
boolean |
graphIsWeighted(java.lang.Object graph) |
void |
setEdgeData(JGraphTWeightedStatusEdge edge,
java.lang.Object data)
Sets the data of the given edge.
|
void |
setEdgeStatus(JGraphTWeightedStatusEdge edge,
java.lang.Object status)
Sets the status of the given edge.
|
void |
setVertexData(StdVertex vertex,
java.lang.Object data)
Sets the data of the given vertex.
|
void |
setVertexStatus(StdVertex vertex,
java.lang.Object status)
Sets the status of the given vertex.
|
addEdge, addEdge, addEdge, addEdgeByIdent, addGraphListener, addVertex, addVertex, addVertex, addVertex, asConfigurated, checkSimple, clearAlgorithmResults, clearDates, clearEdgeData, clearEdgeDates, clearEdgeStates, clearEdgeStatus, clearGraph, clearStates, clearVertexData, clearVertexDates, clearVertexStates, clearVertexStatus, copyFromExistingGraph, copyFromExistingGraph, copyToGraph, copyToGraph, copyToGraph, createDefaultGraph, createGraph, createGraph, createGraph, createGraph, createGraphUnchecked, createGraphUnchecked, createMetaEdge, deleteLoops, deleteWarning, edgeExists, edgeExistsByIdent, edgesToString, edgeToString, enableLoops, forceSimple, getAlgorithmResult, getEdgeByIdent, getEdgeName, getEdgeWeight, getEdgeWeight, getEdgeWeightByIdent, getEndVertex, getEndVertex, getGraphId, getIncidentEdges, getMarkedEdgeCount, getMarkedVertexCount, getName, getNeighborCount, getNeighbors, getNextVertexIdentifier, getStartVertex, getUnmarkedNeighborCount, getVertexByIdent, getVertexByIdent, getVertexIdentUnchecked, getVertexStdPrefix, getVisualElements, graphModified, hasAlgorithmResult, hasEdgeData, hasVertexData, isDirected, isEdgeMarkedAsDeleted, isEdgeStatusSet, isEmpty, isGraphCreated, isSimpleForced, isVertexMarkedAsDeleted, isVertexStatusSet, isWeighted, markEdgeAsDeleted, markVertexAsDeleted, mergeGraph, metaEdgeToString, notSimpleAllowed, pollWarning, prepareAlgorithmRun, printWarning, putWarning, refresh, removeAlgorithmResult, removeEdge, removeEdge, removeEdge, removeEdgeDeletionMark, removeGraphListener, removeVertex, removeVertex, removeVertexDeletionMark, resolveVertexName, setAlgorithmResult, setBlockCacheOutput, setEdgeDates, setEdgeStates, setEdgeWeight, setName, setVertexDates, setVertexIdent, setVertexStates, setVertexStatus, setVertexStdPrefix, toString, vertexExistsByIdent, vertexToString, verticesToStringpublic JGraphTWeightedStatusEdge derivAddEdge(StdVertex vertex1, StdVertex vertex2)
GraphLibraryvertex1 - The first endpoint.vertex2 - The second endpoint.public StdVertex derivAddVertex()
GraphLibrarypublic void checkPrefaceGraph(boolean directed,
boolean weighted,
boolean forceSimple,
GraphLibrary<?,?> preface)
throws InvalidGraphConfigException
GraphLibrarycheckPrefaceGraph in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>preface - the graph to check.InvalidGraphConfigException - if this graph library is not able to create an equivalent
graph to the given graph.public int getVertexCount()
getVertexCount in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public int getEdgeCount()
getEdgeCount in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public java.lang.Iterable<JGraphTWeightedStatusEdge> getEdges()
getEdges in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public java.lang.String getLibName()
GraphLibrarygetLibName in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public StdVertex derivGetStartVertex(JGraphTWeightedStatusEdge edge)
GraphLibraryderivGetStartVertex in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public StdVertex derivGetEndVertex(JGraphTWeightedStatusEdge edge)
GraphLibraryderivGetEndVertex in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public java.lang.Iterable<StdVertex> getVertices()
getVertices in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public org.jgrapht.graph.AbstractBaseGraph<StdVertex,JGraphTWeightedStatusEdge> getInternalGraph()
GraphLibrarygetInternalGraph in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public java.lang.Iterable<JGraphTWeightedStatusEdge> getIngoingEdges(StdVertex vertex)
GraphLibrarygetIngoingEdges in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public int getIngoingEdgeCount(StdVertex vertex)
GraphLibrarygetIngoingEdgeCount in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public java.lang.Iterable<JGraphTWeightedStatusEdge> getOutgoingEdges(StdVertex vertex)
GraphLibrarygetOutgoingEdges in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public int getOutgoingEdgeCount(StdVertex vertex)
GraphLibrarygetOutgoingEdgeCount in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>public JGraphTWeightedStatusEdge getEdge(StdVertex vertex1, StdVertex vertex2)
GraphLibrarygetEdge in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>vertex1 - The first vertex (start point if the graph is directed)vertex2 - The second vertex (end point if the graph is directed)public java.lang.String getVertexIdent(StdVertex vertex)
GraphLibrarygetVertexIdent in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>vertex - The vertex its identifier shall be returnedpublic void derivSetVertexIdent(StdVertex vertex, java.lang.String ident)
GraphLibraryvertex - The vertex its identifier shall be setident - The new identifierpublic java.lang.Object getVertexStatus(StdVertex vertex)
GraphLibrarygetVertexStatus in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>vertex - the vertex.public void setVertexStatus(StdVertex vertex, java.lang.Object status)
GraphLibrarysetVertexStatus in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>vertex - the vertex of which the status shall be set.status - the new status to set.public java.lang.Object getEdgeStatus(JGraphTWeightedStatusEdge edge)
GraphLibrarygetEdgeStatus in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>edge - the edge.public void setEdgeStatus(JGraphTWeightedStatusEdge edge, java.lang.Object status)
GraphLibrarysetEdgeStatus in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>edge - the edge of which the status shall be set.status - the new status to set.public java.lang.Object getEdgeData(JGraphTWeightedStatusEdge edge)
GraphLibrarygetEdgeData in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>edge - the edge.public java.lang.Object getVertexData(StdVertex vertex)
GraphLibrarygetVertexData in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>vertex - the vertex.public void setEdgeData(JGraphTWeightedStatusEdge edge, java.lang.Object data)
GraphLibrarysetEdgeData in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>edge - the edge of which the data shall be set.data - the new data.public void setVertexData(StdVertex vertex, java.lang.Object data)
GraphLibrarysetVertexData in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>vertex - the vertex of which thee status shall be set.data - the new data to set.public boolean graphIsDirected(java.lang.Object graph)
throws InvalidGraphException
InvalidGraphExceptionpublic boolean graphIsWeighted(java.lang.Object graph)
throws InvalidGraphException
InvalidGraphExceptionpublic static JGraphTLib createFromJGraphTGraph(org.jgrapht.Graph<?,?> graph) throws InvalidGraphException
InvalidGraphException