Class KSolver.IntAttrib

  • Enclosing class:
    KSolver

    public static final class KSolver.IntAttrib
    extends java.lang.Object
    Integer attributes
    • Constructor Summary

      Constructors 
      Constructor Description
      IntAttrib()  
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • NumberOfNodes

        public static final int NumberOfNodes
        Number of nodes explored.
        See Also:
        Constant Field Values
      • SearchLimitReached

        public static final int SearchLimitReached
        Limit reached during resolution. @see SearchLimitAttrib
        See Also:
        Constant Field Values
      • ToleranceLimitReached

        public static final int ToleranceLimitReached
        Tolerance limit reached during resolution. @see ToleranceLimitAttrib
        See Also:
        Constant Field Values
      • TotalPropagationTime

        public static final int TotalPropagationTime
        Total time elapsed during propagation.
        See Also:
        Constant Field Values
      • LastCallPropagationTime

        public static final int LastCallPropagationTime
        Time elapsed during last propagation.
        See Also:
        Constant Field Values
      • TotalPropagationIter

        public static final int TotalPropagationIter
        Total fix point iterations for propagation.
        See Also:
        Constant Field Values
      • LastCallPropagationIter

        public static final int LastCallPropagationIter
        Fix point iterations during last propagation.
        See Also:
        Constant Field Values
      • MaxReachedDepth

        public static final int MaxReachedDepth
        Maximum depth reached during search.
        See Also:
        Constant Field Values
    • Constructor Detail

      • IntAttrib

        public IntAttrib()