Class RestartSearch<T extends Var>

java.lang.Object
org.jacop.search.restart.RestartSearch<T>
Type Parameters:
T - type of variables used in this search.

public class RestartSearch<T extends Var> extends Object
Implements restart search. Only cost as IntVar is possible.
Version:
4.8
  • Field Details

    • store

      Store store
    • select

      SelectChoicePoint<T extends Var> select
    • calculator

      Calculator calculator
    • lastSolutionListener

      SolutionListener lastSolutionListener
    • reportSolution

      CustomReport reportSolution
    • lastNotNullSearch

      Search<T extends Var> lastNotNullSearch
    • cost

      Var cost
    • intCostValue

      int intCostValue
    • floatCostValue

      double floatCostValue
    • numberRestarts

      int numberRestarts
    • timeOutCheck

      boolean timeOutCheck
    • timeOut

      long timeOut
  • Constructor Details

  • Method Details

    • labeling

      public boolean labeling()
    • getIntCost

      public int getIntCost()
    • getFloatCost

      public double getFloatCost()
    • addReporter

      public void addReporter(CustomReport r)
    • restarts

      public int restarts()
    • setTimeOut

      public void setTimeOut(long tOut)
    • setTimeOutMilliseconds

      public void setTimeOutMilliseconds(long tOut)