Class PathEnumerator.EnumerationResult

  • Enclosing class:
    PathEnumerator

    public static class PathEnumerator.EnumerationResult
    extends java.lang.Object
    Holds a path counting result and the path enumeration
    • Constructor Detail

      • EnumerationResult

        public EnumerationResult​(PathCounter.CountingResult countingResult,
                                 java.util.List<java.util.List<java.lang.Long>> enumeratedPaths)
    • Method Detail

      • getEnumeratedPaths

        public java.util.List<java.util.List<java.lang.Long>> getEnumeratedPaths()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object