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, verticesToString
public JGraphTWeightedStatusEdge derivAddEdge(StdVertex vertex1, StdVertex vertex2)
GraphLibrary
vertex1
- The first endpoint.vertex2
- The second endpoint.public StdVertex derivAddVertex()
GraphLibrary
public void checkPrefaceGraph(boolean directed, boolean weighted, boolean forceSimple, GraphLibrary<?,?> preface) throws InvalidGraphConfigException
GraphLibrary
checkPrefaceGraph
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()
GraphLibrary
getLibName
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public StdVertex derivGetStartVertex(JGraphTWeightedStatusEdge edge)
GraphLibrary
derivGetStartVertex
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public StdVertex derivGetEndVertex(JGraphTWeightedStatusEdge edge)
GraphLibrary
derivGetEndVertex
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()
GraphLibrary
getInternalGraph
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public java.lang.Iterable<JGraphTWeightedStatusEdge> getIngoingEdges(StdVertex vertex)
GraphLibrary
getIngoingEdges
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public int getIngoingEdgeCount(StdVertex vertex)
GraphLibrary
getIngoingEdgeCount
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public java.lang.Iterable<JGraphTWeightedStatusEdge> getOutgoingEdges(StdVertex vertex)
GraphLibrary
getOutgoingEdges
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public int getOutgoingEdgeCount(StdVertex vertex)
GraphLibrary
getOutgoingEdgeCount
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
public JGraphTWeightedStatusEdge getEdge(StdVertex vertex1, StdVertex vertex2)
GraphLibrary
getEdge
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)
GraphLibrary
getVertexIdent
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
vertex
- The vertex its identifier shall be returnedpublic void derivSetVertexIdent(StdVertex vertex, java.lang.String ident)
GraphLibrary
vertex
- The vertex its identifier shall be setident
- The new identifierpublic java.lang.Object getVertexStatus(StdVertex vertex)
GraphLibrary
getVertexStatus
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
vertex
- the vertex.public void setVertexStatus(StdVertex vertex, java.lang.Object status)
GraphLibrary
setVertexStatus
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)
GraphLibrary
getEdgeStatus
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
edge
- the edge.public void setEdgeStatus(JGraphTWeightedStatusEdge edge, java.lang.Object status)
GraphLibrary
setEdgeStatus
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)
GraphLibrary
getEdgeData
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
edge
- the edge.public java.lang.Object getVertexData(StdVertex vertex)
GraphLibrary
getVertexData
in class GraphLibrary<StdVertex,JGraphTWeightedStatusEdge>
vertex
- the vertex.public void setEdgeData(JGraphTWeightedStatusEdge edge, java.lang.Object data)
GraphLibrary
setEdgeData
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)
GraphLibrary
setVertexData
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
InvalidGraphException
public boolean graphIsWeighted(java.lang.Object graph) throws InvalidGraphException
InvalidGraphException
public static JGraphTLib createFromJGraphTGraph(org.jgrapht.Graph<?,?> graph) throws InvalidGraphException
InvalidGraphException