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.10
  • Field Details

    • store

      Store store
    • select

      SelectChoicePoint<T extends Var> select
    • calculator

      Calculator calculator
    • lastSolutionListener

      SolutionListener<T extends Var> lastSolutionListener
    • reportSolution

      CustomReport reportSolution
    • lastNotNullSearch

      Search<T extends Var> lastNotNullSearch
    • cost

      Var cost
    • intCostValue

      int intCostValue
    • floatCostValue

      double floatCostValue
    • numberRestarts

      int numberRestarts
    • atLeastOneSolution

      boolean atLeastOneSolution
    • timeOutCheck

      boolean timeOutCheck
    • timeOut

      long timeOut
    • generator

      private final Random generator
    • rarVars

      IntVar[] rarVars
    • probability

      int probability
    • values

      int[] values
    • restartsLimit

      int restartsLimit
  • Constructor Details

  • Method Details

    • labeling

      public boolean labeling()
    • boundCost

      void boundCost()
    • 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)
    • searchSingleSolution

      void searchSingleSolution(DepthFirstSearch<T> label)
    • setRelaxAndReconstruct

      public void setRelaxAndReconstruct(IntVar[] vs, int p)
    • assignRelaxedVariables

      public void assignRelaxedVariables()
    • getLastSolution

      public int[] getLastSolution()
    • getRelaxedVariables

      public IntVar[] getRelaxedVariables()
    • getProbability

      public int getProbability()
    • setRestartsLimit

      public void setRestartsLimit(int l)
    • atLeastOneSolution

      public boolean atLeastOneSolution()