public class QCP extends ExampleFD
Modifier and Type | Field and Description |
---|---|
String |
filename
It specifies the file containing the description of the problem.
|
int |
n
It contains the order of the QCP being solved.
|
List<Constraint> |
shavingConstraints
It contains constraints which can be used to guide shaving.
|
Constructor and Description |
---|
QCP() |
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args)
It executes the program which solves the QCP in multiple different ways.
|
void |
model()
It specifies a standard way of modeling the problem.
|
boolean |
searchAllTransform()
It transforms part of the problem into an extensional costraint to
improve propagation and search process.
|
boolean |
searchWithShaving()
It performs search with shaving guided by constraints.
|
static void |
test(String[] args)
It executes the program which solves the QCP in multiple different ways.
|
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
public String filename
public List<Constraint> shavingConstraints
public int n
public void model()
ExampleFD
public boolean searchWithShaving()
public boolean searchAllTransform()
public static void test(String[] args)
args
- the first argument is the name of the file containing the problem.public static void main(String[] args)
args
- the first argument is the name of the file containing the problem.Copyright © 2022. All rights reserved.