Package org.jacop.examples.fd.qcp
Class QCP
java.lang.Object
org.jacop.examples.fd.ExampleFD
org.jacop.examples.fd.qcp.QCP
It solves QuasiGroup Completion Problem (QCP).
- Version:
- 4.9
-
Field Summary
FieldsModifier and TypeFieldDescriptionIt specifies the file containing the description of the problem.int
It contains the order of the QCP being solved.It contains constraints which can be used to guide shaving. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic void
It executes the program which solves the QCP in multiple different ways.void
model()
It specifies a standard way of modeling the problem.boolean
It transforms part of the problem into an extensional costraint to improve propagation and search process.boolean
It performs search with shaving guided by constraints.static void
It executes the program which solves the QCP in multiple different ways.Methods inherited from class org.jacop.examples.fd.ExampleFD
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
-
Field Details
-
filename
It specifies the file containing the description of the problem. -
shavingConstraints
It contains constraints which can be used to guide shaving. -
n
public int nIt contains the order of the QCP being solved.
-
-
Constructor Details
-
QCP
public QCP()
-
-
Method Details
-
model
public void model()Description copied from class:ExampleFD
It specifies a standard way of modeling the problem. -
searchWithShaving
public boolean searchWithShaving()It performs search with shaving guided by constraints.- Returns:
- true if there is a solution, false otherwise.
-
searchAllTransform
public boolean searchAllTransform()It transforms part of the problem into an extensional costraint to improve propagation and search process.- Returns:
- true if there is a solution, false otherwise.
-
test
It executes the program which solves the QCP in multiple different ways.- Parameters:
args
- the first argument is the name of the file containing the problem.
-
main
It executes the program which solves the QCP in multiple different ways.- Parameters:
args
- the first argument is the name of the file containing the problem.
-