Class KSolver.SearchLimitAttrib

  • Enclosing class:
    KSolver

    public static final class KSolver.SearchLimitAttrib
    extends java.lang.Object
    Search limit attributes
    • Field Detail

      • SearchLimitUnreached

        public static final int SearchLimitUnreached
        Search has not been limited
        See Also:
        Constant Field Values
      • SearchLimitedByNodes

        public static final int SearchLimitedByNodes
        Search has been limited by maximum number of nodes explored. @see MaxNumberOfNodes
        See Also:
        Constant Field Values
      • SearchLimitedBySolutions

        public static final int SearchLimitedBySolutions
        Search has been limited by maximum number of solutions found. @see MaxNumberOfSolutions
        See Also:
        Constant Field Values
      • SearchLimitedByDepth

        public static final int SearchLimitedByDepth
        Search has been limited by maximal tree search depth. @see MaxDepth
        See Also:
        Constant Field Values
      • SearchLimitedByTime

        public static final int SearchLimitedByTime
        Search has been limited by time. @see MaxComputationTime
        See Also:
        Constant Field Values
      • SearchLimitedByBacktracks

        public static final int SearchLimitedByBacktracks
        Search has been limited by maximum number of backtracks. @see MaxNumberOfBackTracks
        See Also:
        Constant Field Values
      • SearchLimitedByNodesBetweenSolutions

        public static final int SearchLimitedByNodesBetweenSolutions
        Search has been limited by maximum nodes between two solutions. @see MaxNumberOfNodesBetweenSolutions
        See Also:
        Constant Field Values
      • SearchLimitedByUser

        public static final int SearchLimitedByUser
        Search has been limited by user.
        See Also:
        Constant Field Values
    • Constructor Detail

      • SearchLimitAttrib

        public SearchLimitAttrib()