Class IMLogInfo


  • public class IMLogInfo
    extends java.lang.Object
    • Field Detail

      • dfg

        protected final IntDfg dfg
      • minimumSelfDistancesBetween

        protected final gnu.trove.map.TIntObjectMap<MultiIntSet> minimumSelfDistancesBetween
      • minimumSelfDistances

        protected final gnu.trove.map.hash.TIntIntHashMap minimumSelfDistances
      • numberOfEvents

        protected final long numberOfEvents
      • numberOfActivityInstances

        protected final long numberOfActivityInstances
      • numberOfTraces

        protected final long numberOfTraces
    • Constructor Detail

      • IMLogInfo

        public IMLogInfo​(IntDfg directlyFollowsGraph,
                         gnu.trove.map.TIntObjectMap<MultiIntSet> minimumSelfDistancesBetween,
                         gnu.trove.map.hash.TIntIntHashMap minimumSelfDistances,
                         long numberOfEvents,
                         long numberOfActivityInstances,
                         long numberOfTraces)
        Construct a log-info object. Please use the provided "createEmpty..." functions to initialise the required hash maps.
        Parameters:
        directlyFollowsGraph -
        minimumSelfDistancesBetween -
        minimumSelfDistances -
        numberOfEvents -
        numberOfActivityInstances -
        numberOfTraces -
    • Method Detail

      • createEmptyMinimumSelfDistancesBetweenMap

        public static gnu.trove.map.TIntObjectMap<MultiIntSet> createEmptyMinimumSelfDistancesBetweenMap()
      • createEmptyMinimumSelfDistancesMap

        public static gnu.trove.map.hash.TIntIntHashMap createEmptyMinimumSelfDistancesMap()
      • getDfg

        public IntDfg getDfg()
      • getMinimumSelfDistancesBetween

        public gnu.trove.map.TIntObjectMap<MultiIntSet> getMinimumSelfDistancesBetween()
      • getMinimumSelfDistanceBetween

        public MultiIntSet getMinimumSelfDistanceBetween​(int activityIndex)
        Parameters:
        activityIndex -
        Returns:
        A multset of activity indices that have a minimum self-distance relation from the given activityIndex.
      • getMinimumSelfDistances

        public gnu.trove.map.hash.TIntIntHashMap getMinimumSelfDistances()
        Returns:
        A map activity index to minimum self-distance
      • getMinimumSelfDistance

        public long getMinimumSelfDistance​(int activityIndex)
      • getNumberOfEvents

        public long getNumberOfEvents()
      • getNumberOfActivityInstances

        public long getNumberOfActivityInstances()
      • getNumberOfTraces

        public long getNumberOfTraces()
      • getActivityNames

        public java.lang.String[] getActivityNames​(IMLog log)