Package org.processmining.explorativeprocessdiscovery.visual

Class GraphRepo

  • public class GraphRepo
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      org.jgraph.graph.DefaultGraphCell[] activitycells  
      java.util.List<org.jgraph.graph.DefaultEdge> alledgelist  
      org.jgraph.graph.DefaultGraphCell[] cells  
      java.util.HashMap<java.lang.String,​java.util.List<java.lang.String>> childList  
      org.jgraph.graph.DefaultGraphCell[] eventcells  
      ResultUnitList literesults  
      java.util.HashMap<org.jgraph.graph.DefaultEdge,​java.util.List<java.lang.String>> mapEdgeSublogPair  
      java.util.HashMap<java.lang.String,​org.jgraph.graph.DefaultGraphCell> mapSublogNode  

    • Constructor Summary

      Constructors 
      Constructor Description
      GraphRepo​(org.jgraph.graph.DefaultGraphCell[] cells, org.jgraph.graph.DefaultGraphCell[] eventcells, org.jgraph.graph.DefaultGraphCell[] activitycells, java.util.List<org.jgraph.graph.DefaultEdge> alledgelist, java.util.HashMap<java.lang.String,​org.jgraph.graph.DefaultGraphCell> mapSublogNode, java.util.HashMap<org.jgraph.graph.DefaultEdge,​java.util.List<java.lang.String>> mapEdgeSublogPair, ResultUnitList literesults, java.util.HashMap<java.lang.String,​java.util.List<java.lang.String>> childList)  

    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • cells

        public org.jgraph.graph.DefaultGraphCell[] cells

      • eventcells

        public org.jgraph.graph.DefaultGraphCell[] eventcells

      • activitycells

        public org.jgraph.graph.DefaultGraphCell[] activitycells

      • alledgelist

        public java.util.List<org.jgraph.graph.DefaultEdge> alledgelist

      • mapSublogNode

        public java.util.HashMap<java.lang.String,​org.jgraph.graph.DefaultGraphCell> mapSublogNode

      • mapEdgeSublogPair

        public java.util.HashMap<org.jgraph.graph.DefaultEdge,​java.util.List<java.lang.String>> mapEdgeSublogPair

      • childList

        public java.util.HashMap<java.lang.String,​java.util.List<java.lang.String>> childList

    • Constructor Detail

      • GraphRepo

        public GraphRepo​(org.jgraph.graph.DefaultGraphCell[] cells,
                 org.jgraph.graph.DefaultGraphCell[] eventcells,
                 org.jgraph.graph.DefaultGraphCell[] activitycells,
                 java.util.List<org.jgraph.graph.DefaultEdge> alledgelist,
                 java.util.HashMap<java.lang.String,​org.jgraph.graph.DefaultGraphCell> mapSublogNode,
                 java.util.HashMap<org.jgraph.graph.DefaultEdge,​java.util.List<java.lang.String>> mapEdgeSublogPair,
                 ResultUnitList literesults,
                 java.util.HashMap<java.lang.String,​java.util.List<java.lang.String>> childList)