Class IndexedAResult


  • public class IndexedAResult
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      IndexedAResult​(int id, org.processmining.plugins.replayer.replayresult.SyncReplayResult replayResult)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int id()  
      org.processmining.plugins.replayer.replayresult.SyncReplayResult replayResult()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • IndexedAResult

        public IndexedAResult​(int id,
                              org.processmining.plugins.replayer.replayresult.SyncReplayResult replayResult)
    • Method Detail

      • id

        public int id()
      • replayResult

        public org.processmining.plugins.replayer.replayresult.SyncReplayResult replayResult()