Class TraceLPMFactory

    • Constructor Summary

      Constructors 
      Constructor Description
      TraceLPMFactory​(java.util.List<java.lang.Integer> trace, java.util.Map<java.lang.String,​java.lang.Integer> labelMap)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      TraceLPMData create()  
      java.util.Optional<TraceLPMData> create​(java.util.List<Place> places, int inputStartPosition, int inputEndPosition, TraceLPMData traceLPMData, int dataPosition)  
      • Methods inherited from class java.lang.Object

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

      • TraceLPMFactory

        public TraceLPMFactory​(java.util.List<java.lang.Integer> trace,
                               java.util.Map<java.lang.String,​java.lang.Integer> labelMap)