Class PathCounter.CountingResult

  • Enclosing class:
    PathCounter

    public static class PathCounter.CountingResult
    extends java.lang.Object
    Holds a path counting result, which consists of the number of paths counted and the number of additions performed to compute the result.
    • Constructor Summary

      Constructors 
      Constructor Description
      CountingResult​(java.math.BigInteger additions, java.math.BigInteger paths)  
    • Method Summary

      Modifier and Type Method Description
      java.math.BigInteger getAdditions()  
      java.math.BigInteger getPaths()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • CountingResult

        public CountingResult​(java.math.BigInteger additions,
                              java.math.BigInteger paths)
    • Method Detail

      • getAdditions

        public java.math.BigInteger getAdditions()
      • getPaths

        public java.math.BigInteger getPaths()
      • toString

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