choco.cp.solver.preprocessor
Class PPSearch

java.lang.Object
  extended by choco.cp.solver.preprocessor.PPSearch

public class PPSearch
extends Object

Created by IntelliJ IDEA. User: hcambaza Date: Aug 15, 2008


Nested Class Summary
static class PPSearch.BoolSchedComparator
          Sort the precedences by decreasing sum of the two durations of the two tasks
 
Field Summary
protected  CPModel mod
           
protected  boolean randval
          Enforce a random value ordering
protected  int randvalseed
           
 
Constructor Summary
PPSearch()
           
 
Method Summary
static IntDomainVar[] concat(IntDomainVar[] t1, IntDomainVar[] t2)
           
 int determineHeuristic(CPSolver s)
          return 1 (domWdeg) or 2 (Impact) depending on the nature of the problem
static IntDomainVar[] getBooleanVars(CPSolver s)
           
static IntDomainVar[] getOtherVars(CPSolver s)
           
static int getSumOfDomains(CPSolver s)
           
 boolean isMixedScheduling()
           
 boolean isNaryExtensional()
           
 boolean isReified()
           
 boolean isSat()
           
 boolean isScheduling()
           
 boolean setDomOverDeg(CPSolver s)
          set the DomOverDeg heuristic
 boolean setDomOverWeg(CPSolver s, int inittime)
          set the DomOverWDeg heuristic
 boolean setImpact(CPSolver s, int initialisationtime)
          set the Impact heuristic
 void setModel(CPModel m)
           
 void setRandomValueHeuristic(int seed)
           
 boolean setVersatile(CPSolver s, int inittime)
          set the DomOverDeg heuristic
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

mod

protected CPModel mod

randval

protected boolean randval
Enforce a random value ordering


randvalseed

protected int randvalseed
Constructor Detail

PPSearch

public PPSearch()
Method Detail

setModel

public void setModel(CPModel m)

setRandomValueHeuristic

public void setRandomValueHeuristic(int seed)

isNaryExtensional

public boolean isNaryExtensional()

isSat

public boolean isSat()

isScheduling

public boolean isScheduling()

isReified

public boolean isReified()

isMixedScheduling

public boolean isMixedScheduling()

setVersatile

public boolean setVersatile(CPSolver s,
                            int inittime)
set the DomOverDeg heuristic

Parameters:
s -
Returns:
true if the problem was not detected infeasible in the process

setDomOverDeg

public boolean setDomOverDeg(CPSolver s)
set the DomOverDeg heuristic

Parameters:
s -
Returns:
true if the problem was not detected infeasible in the process

setDomOverWeg

public boolean setDomOverWeg(CPSolver s,
                             int inittime)
set the DomOverWDeg heuristic

Parameters:
s -
Returns:
true if the problem was not detected infeasible in the process

setImpact

public boolean setImpact(CPSolver s,
                         int initialisationtime)
set the Impact heuristic

Parameters:
s -
Returns:
true if the problem was not detected infeasible in the process

getBooleanVars

public static IntDomainVar[] getBooleanVars(CPSolver s)

getOtherVars

public static IntDomainVar[] getOtherVars(CPSolver s)

concat

public static IntDomainVar[] concat(IntDomainVar[] t1,
                                    IntDomainVar[] t2)

determineHeuristic

public int determineHeuristic(CPSolver s)
return 1 (domWdeg) or 2 (Impact) depending on the nature of the problem


getSumOfDomains

public static int getSumOfDomains(CPSolver s)


Copyright © 2012. All Rights Reserved.