Serialized Form

Package scg.ac.ni.pmf.newgraph.dependency

Class scg.ac.ni.pmf.newgraph.dependency.ParamDPD extends java.lang.Object implements Serializable

Serialized Fields

dpd

Dependency dpd

graph

java.lang.String graph

Package scg.ac.ni.pmf.newgraph.graphdata

Class scg.ac.ni.pmf.newgraph.graphdata.DuplicateIDException extends java.lang.Exception implements Serializable

Class scg.ac.ni.pmf.newgraph.graphdata.Edge extends java.lang.Object implements Serializable

Serialized Fields

data

EdgeData data

The underlying edge data.

Class scg.ac.ni.pmf.newgraph.graphdata.EdgeData extends java.lang.Object implements Serializable

Serialized Fields

idA

int idA

The ID of the vertex A.

idB

int idB

The ID of the vertex B.

multiplicity

int multiplicity

The multiplicity of the vertex.

data

GraphData data

The graph data that the edge belongs to.

Class scg.ac.ni.pmf.newgraph.graphdata.GraphData extends java.lang.Object implements Serializable

Serialized Fields

vertices

java.util.Vector<E> vertices

The vector of vertices.

verticesData

java.util.Vector<E> verticesData

The map of vertices data. This is a helper class. It is used for quickly manipulating vertices. It must be enforces that the objects in this set are the same objects as the objects in the vector vertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the hashset.

verticesDataMap

java.util.HashMap<K,V> verticesDataMap

The map where the keys are the vertices data, and the values are the vertices. This is a helper class. It is used for quickly manipulating vertices. It must be enforces that the objects in this set are the same objects as the objects in the vector vertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the hashset.

verticesSet

java.util.HashSet<E> verticesSet

The set of vertices. This is a helper class. It is used for quickly manipulating vertices. It must be enforces that the objects in this set are the same objects as the objects in the vector vertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the hashset.

verticesForID

java.util.HashMap<K,V> verticesForID

The map where the keys are the IDs of the vertices, and values are the vertices. This is a helper class. It is used for quickly manipulating vertices. It must be enforces that the objects in this set are the same objects as the objects in the vector vertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the hashset.

edges

java.util.Vector<E> edges

The vector of edges.

edgesData

java.util.Vector<E> edgesData

The vector of edges data. This is a helper class. It is used for quickly manipulating edges. It must be enforces that the objects in this set are the same objects as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

edgesDataMap

java.util.HashMap<K,V> edgesDataMap

The map where the keys are the edges data, and the values are the edges. This is a helper class. It is used for quickly manipulating edges. It must be enforces that the objects in this set are the same objects as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

edgesSet

java.util.HashSet<E> edgesSet

The set of edges. This is a helper class. It is used for quickly manipulating edges. It must be enforces that the objects in this set are the same objects as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

edgesForID

java.util.HashMap<K,V> edgesForID

The map contains IDs of the endpoints of the edges as keys, and for values, maps with the IDs of the other endpoints as keys, and edges as values. This is a helper class. It is used for quickly manipulating edges. It must be enforces that the objects in this set are the same objects as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedVertices

java.util.Vector<E> selectedVertices

The vector of selected vertices. It must be enforced that the objects in this set are the same objects as the objects in the vector vertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedVerticesData

java.util.Vector<E> selectedVerticesData

The vector of selected vertices data. This is a helper class. It is used for quickly manipulating vertices. It must be enforced that the objects in this set are the same objects as the objects in the vector selectedVertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedVerticesSet

java.util.HashSet<E> selectedVerticesSet

The set of selected vertices. This is a helper class. It is used for quickly manipulating vertices. It must be enforced that the objects in this set are the same objects as the objects in the vector selectedVertices, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedEdges

java.util.Vector<E> selectedEdges

The vector of selected edges. It must be enforced that the objects in this set are the same objects as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedEdgesData

java.util.Vector<E> selectedEdgesData

The vector of selected edges data. This is a helper class. It is used for quickly manipulating selected edges. It must be enforced that the objects in this set are the same objects as the objects in the vector selectedEdges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedEdgesSet

java.util.HashSet<E> selectedEdgesSet

The set of selected edges. This is a helper class. It is used for quickly manipulating selected edges. It must be enforced that the objects in this set are the same objects as the objects in the vector selectedEdges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

selectedEdgesForID

java.util.HashMap<K,V> selectedEdgesForID

The map of selected edges. It contains IDs of one of the endpoints as keys, and as values maps, which contain IDs of the other endpoints as keys, and the edges as values. This is a helper class. It is used for quickly manipulating selected edges. It must be enforced that the objects in this set are the same objects as the objects in the vector selectedEdges, in the means that they are equal based on the memory address. Otherwise, changing the object in the vector may not affect the object in the set.

primarySelectedVertex

Vertex primarySelectedVertex

The primary selected vertex. It must be enforced that the objects is the same objects as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object may not affect the object in the set.

primarySelectedEdge

Edge primarySelectedEdge

The primary selected edge. It must be enforced that the objects is the same as the objects in the vector edges, in the means that they are equal based on the memory address. Otherwise, changing the object may not affect the object in the set.

file

java.io.File file

The file where the graph is stored.

fileType

GraphFileType fileType

The file type of the file where the graph is stored.

dirty

boolean dirty

Indicates whether the graph was changed after the last save.

weightVertexValues

java.util.Map<K,V> weightVertexValues

Maps the weights into maps, which further map vertices into values of the types appropriate for the weight types.

weightEdgeValues

java.util.Map<K,V> weightEdgeValues

Maps the weights into maps, which further map edges into values of the types appropriate for the weight types.

Class scg.ac.ni.pmf.newgraph.graphdata.Vertex extends java.lang.Object implements Serializable

Serialized Fields

data

VertexData data

The underlying data.

Class scg.ac.ni.pmf.newgraph.graphdata.VertexData extends java.lang.Object implements Serializable

Serialized Fields

id

int id

The unique identification number of the vertex. Each vertex in the graph has a unique ID.

x

float x

The X coordinate of the vertex.

y

float y

The Y coordinate of the vertex.

data

GraphData data

The graph data that the vertex belongs to.

Class scg.ac.ni.pmf.newgraph.graphdata.Weight extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

Class scg.ac.ni.pmf.newgraph.graphdata.WeightEdgeDouble extends scg.ac.ni.pmf.newgraph.graphdata.Weight implements Serializable

Class scg.ac.ni.pmf.newgraph.graphdata.WeightEdgeInt extends scg.ac.ni.pmf.newgraph.graphdata.Weight implements Serializable

Class scg.ac.ni.pmf.newgraph.graphdata.WeightEdgeString extends scg.ac.ni.pmf.newgraph.graphdata.Weight implements Serializable

Class scg.ac.ni.pmf.newgraph.graphdata.WeightVertexDouble extends scg.ac.ni.pmf.newgraph.graphdata.Weight implements Serializable

Class scg.ac.ni.pmf.newgraph.graphdata.WeightVertexInt extends scg.ac.ni.pmf.newgraph.graphdata.Weight implements Serializable

Class scg.ac.ni.pmf.newgraph.graphdata.WeightVertexString extends scg.ac.ni.pmf.newgraph.graphdata.Weight implements Serializable

Package scg.ac.ni.pmf.newgraph.invariants

Class scg.ac.ni.pmf.newgraph.invariants.ParamInvariant extends java.lang.Object implements Serializable

Serialized Fields

inList

boolean inList

visualized

boolean visualized

invariant

Invariant invariant

id

int id

Package scg.ac.ni.pmf.newgraph.io

Class scg.ac.ni.pmf.newgraph.io.GraphMLFileType extends java.lang.Object implements Serializable

Class scg.ac.ni.pmf.newgraph.io.GraphRWException extends java.lang.Exception implements Serializable

Package scg.ac.ni.pmf.newgraph.param

Class scg.ac.ni.pmf.newgraph.param.InvalidValueException extends java.lang.Exception implements Serializable