org.processmining.framework.models.transitionsystem
Class TransitionSystemVertexSet

java.lang.Object
  extended by att.grappa.Element
      extended by att.grappa.Node
          extended by org.processmining.framework.models.ModelGraphVertex
              extended by org.processmining.framework.models.transitionsystem.TransitionSystemVertex
                  extended by org.processmining.framework.models.transitionsystem.TransitionSystemVertexSet
All Implemented Interfaces:
att.grappa.GrappaConstants

public class TransitionSystemVertexSet
extends TransitionSystemVertex

Version:
1.0
Author:
Vladimir Rubin

Field Summary
 
Fields inherited from class org.processmining.framework.models.transitionsystem.TransitionSystemVertex
exLogs
 
Fields inherited from class org.processmining.framework.models.ModelGraphVertex
identifier, object2, value, visualObject
 
Fields inherited from class att.grappa.Node
defaultNamePrefix
 
Fields inherited from class att.grappa.Element
counter, highlight, linewidth, object, printAllAttributes, printDefaultAttributes, usePrintList, visible
 
Fields inherited from interface att.grappa.GrappaConstants
_NO_TYPE, ANONYMOUS_PREFIX, BBOX_ATTR, BBOX_HASH, BOX_SHAPE, BOX_TYPE, CLUSTERRANK_ATTR, COLOR_ATTR, COLOR_HASH, COLOR_TYPE, CUSTOM_ATTR, CUSTOM_HASH, CUSTOM_SHAPE, DELETION_MASK, DIAMOND_SHAPE, DIR_ATTR, DIR_HASH, DIR_TYPE, DISTORTION_ATTR, DISTORTION_HASH, DOUBLE_TYPE, DOUBLECIRCLE_SHAPE, DOUBLEOCTAGON_SHAPE, EDGE, EGG_SHAPE, FILLCOLOR_ATTR, FILLCOLOR_HASH, FONTCOLOR_ATTR, FONTCOLOR_HASH, FONTNAME_ATTR, FONTNAME_HASH, FONTSIZE_ATTR, FONTSIZE_HASH, FONTSTYLE_ATTR, FONTSTYLE_HASH, FONTSTYLE_TYPE, GRAPPA_BACKGROUND_COLOR_ATTR, GRAPPA_BACKGROUND_COLOR_HASH, GRAPPA_DELETION_STYLE_ATTR, GRAPPA_DELETION_STYLE_HASH, GRAPPA_FONTSIZE_ADJUSTMENT_ATTR, GRAPPA_FONTSIZE_ADJUSTMENT_HASH, GRAPPA_SELECTION_STYLE_ATTR, GRAPPA_SELECTION_STYLE_HASH, GRAPPA_SHAPE, HASHLIST_TYPE, HEIGHT_ATTR, HEIGHT_HASH, HEXAGON_SHAPE, HIGHLIGHT_MASK, HIGHLIGHT_OFF, HIGHLIGHT_ON, HIGHLIGHT_TOGGLE, HOUSE_SHAPE, IDENTXFRM, IMAGE_ATTR, IMAGE_HASH, INTEGER_TYPE, INVERTEDHOUSE_SHAPE, INVERTEDTRAPEZIUM_SHAPE, INVERTEDTRIANGLE_SHAPE, LABEL_ATTR, LABEL_HASH, LINE_SHAPE, LINE_TYPE, LOG10, LP_ATTR, LP_HASH, MARGIN_ATTR, MARGIN_HASH, MCIRCLE_SHAPE, MCLIMIT_ATTR, MCLIMIT_HASH, MDIAMOND_SHAPE, MINBOX_ATTR, MINBOX_HASH, MINLEN_ATTR, MINLEN_HASH, MINSIZE_ATTR, MINSIZE_HASH, MRECORD_SHAPE, MSQUARE_SHAPE, NBSP, NEW_LINE, NO_SHAPE, NODE, NODESEP_ATTR, NODESEP_HASH, OCTAGON_SHAPE, ORIENTATION_ATTR, ORIENTATION_HASH, OVAL_SHAPE, PACKAGE_PREFIX, PARALLELOGRAM_SHAPE, PATCH_ATTR, PATCH_HASH, PENTAGON_SHAPE, PERIPHERIES_ATTR, PERIPHERIES_HASH, PERIPHERY_GAP, PKG_LOWER, PKG_UPLOW, PKG_UPPER, PLAINTEXT_SHAPE, POINT_TYPE, PointsPerInch, POLYGON_SHAPE, POS_ATTR, POS_HASH, PRINTLIST_ATTR, PRINTLIST_HASH, RANKDIR_ATTR, RANKDIR_HASH, RANKSEP_ATTR, RANKSEP_HASH, RECORD_SHAPE, RECTS_ATTR, RECTS_HASH, ROTATION_ATTR, ROTATION_HASH, ROUNDEDBOX_SHAPE, SELECTION_MASK, SHAPE_ATTR, SHAPE_HASH, SHAPE_MASK, SHAPE_TYPE, SIDES_ATTR, SIDES_HASH, SIZE_ATTR, SIZE_HASH, SIZE_TYPE, SKEW_ATTR, SKEW_HASH, STRING_TYPE, STYLE_ATTR, STYLE_HASH, STYLE_TYPE, SUBGRAPH, SYSTEM, TAG_ATTR, TAG_HASH, TIP_ATTR, TIP_HASH, TRAPEZIUM_SHAPE, TRIANGLE_SHAPE, TRIPLEOCTAGON_SHAPE, TYPES_SHIFT, WEIGHT_ATTR, WEIGHT_HASH, WIDTH_ATTR, WIDTH_HASH
 
Constructor Summary
TransitionSystemVertexSet(java.util.Collection<java.lang.String> docs, java.util.Collection<java.lang.String> exLogs, ModelGraph g)
           
TransitionSystemVertexSet(java.util.Collection<java.lang.String> docs, java.lang.String exLog, ModelGraph g)
           
TransitionSystemVertexSet(java.lang.String identifier, ModelGraph g)
           
 
Method Summary
 void addDocument(java.lang.String doc)
           
 void addDocuments(java.util.Collection<java.lang.String> docs)
           
 void addExLog(java.lang.String exLog)
           
 void addExLogs(java.util.Collection<java.lang.String> logs)
           
 boolean equalsV(TransitionSystemVertex v1)
           
 java.util.Collection<java.lang.String> getDocs()
           
 void makeIdentifier()
           
 void print()
           
 void setDocs(java.util.Collection<java.lang.String> docs)
           
 
Methods inherited from class org.processmining.framework.models.transitionsystem.TransitionSystemVertex
getExLogs, setExLogs
 
Methods inherited from class org.processmining.framework.models.ModelGraphVertex
equals, getIdentifier, getIncidentEdges, getInEdgesIterator, getNeighbors, getOutEdgesIterator, getPredecessors, getSuccessors, getValue, getVerticesOnlyPredecessor, getVerticesOnlySuccessor, getVerticesPredecessorAndSuccessor, setIdentifier, setValue, toString
 
Methods inherited from class att.grappa.Node
addEdge, attributeType, clone, edgeElements, findInEdgeByKey, findOutEdgeByKey, getCenterPoint, getInEdges, getOutEdges, getType, inDegree, inEdgeElements, isNode, outDegree, outEdgeElements, printNode, removeEdge
 
Methods inherited from class att.grappa.Element
addTag, attrNotOfInterest, attrOfInterest, bdfs, buildShape, canonString, canonValue, clearBBox, delete, getAttribute, getAttributePairs, getAttributeValue, getDefaultAttribute, getDefaultAttribute, getGraph, getGrappaNexus, getId, getIdKey, getLocalAttribute, getLocalAttributeKeys, getLocalAttributePairs, getName, getSubgraph, getThisAttribute, getThisAttributeValue, hasAttributeForKey, hasDefaultTag, hasDefaultTags, hasLocalTag, hasLocalTags, hasTag, hasTags, isEdge, isOfInterest, isSubgraph, listAttrsOfInterest, printElement, removeTag, removeTags, setAttribute, setAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setDefaultAttribute, setIdKey, setSubgraph, setUserAttributeType, typeString
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TransitionSystemVertexSet

public TransitionSystemVertexSet(java.util.Collection<java.lang.String> docs,
                                 java.util.Collection<java.lang.String> exLogs,
                                 ModelGraph g)

TransitionSystemVertexSet

public TransitionSystemVertexSet(java.util.Collection<java.lang.String> docs,
                                 java.lang.String exLog,
                                 ModelGraph g)

TransitionSystemVertexSet

public TransitionSystemVertexSet(java.lang.String identifier,
                                 ModelGraph g)
Method Detail

makeIdentifier

public void makeIdentifier()
Specified by:
makeIdentifier in class TransitionSystemVertex

equalsV

public boolean equalsV(TransitionSystemVertex v1)
Specified by:
equalsV in class TransitionSystemVertex

addDocument

public void addDocument(java.lang.String doc)
Specified by:
addDocument in class TransitionSystemVertex

addDocuments

public void addDocuments(java.util.Collection<java.lang.String> docs)
Specified by:
addDocuments in class TransitionSystemVertex

addExLog

public void addExLog(java.lang.String exLog)
Overrides:
addExLog in class TransitionSystemVertex

addExLogs

public void addExLogs(java.util.Collection<java.lang.String> logs)
Overrides:
addExLogs in class TransitionSystemVertex

print

public void print()

getDocs

public java.util.Collection<java.lang.String> getDocs()
Specified by:
getDocs in class TransitionSystemVertex

setDocs

public void setDocs(java.util.Collection<java.lang.String> docs)
Specified by:
setDocs in class TransitionSystemVertex