Class KSolver.IntAttrib

java.lang.Object
com.artelys.kalis.KSolver.IntAttrib
Enclosing class:
KSolver

public static final class KSolver.IntAttrib extends Object
Integer attributes
  • Field Details

    • NumberOfNodes

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

      public static final int Depth
      Depth of the search tree.
      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
    • Backtracks

      public static final int Backtracks
      Number of backtracks.
      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 Details

    • IntAttrib

      public IntAttrib()