Class TLVariantIndexDiagnostics


  • public class TLVariantIndexDiagnostics
    extends java.lang.Object
    • Constructor Detail

      • TLVariantIndexDiagnostics

        public TLVariantIndexDiagnostics​(int id,
                                         int nbrTraces,
                                         boolean alignR1Reliable,
                                         boolean alignR2Reliable,
                                         java.util.SortedSet<java.lang.Integer> traceIndices,
                                         EventIndexBasedTLDiagnostics indexDiagnostics)
    • Method Detail

      • id

        public int id()
      • nbrTraces

        public int nbrTraces()
      • alignR1Reliable

        public boolean alignR1Reliable()
      • alignR2Reliable

        public boolean alignR2Reliable()
      • traceIndices

        public java.util.SortedSet<java.lang.Integer> traceIndices()