Package org.jacop.examples.fd.qcp

Class QCP

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.qcp.QCP

public class QCP
extends ExampleFD

It solves QuasiGroup Completion Problem (QCP).

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
java.lang.String	filename	It specifies the file containing the description of the problem.
int	n	It contains the order of the QCP being solved.
java.util.List<Constraint>	shavingConstraints	It contains constraints which can be used to guide shaving.

Fields inherited from class org.jacop.examples.fd.ExampleFD

cost, search, store, vars

Constructor Summary

Constructors

Constructor	Description
QCP()

Method Summary

Modifier and Type	Method	Description
static void	main(java.lang.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(java.lang.String[] args)	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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

filename

public java.lang.String filename

It specifies the file containing the description of the problem.

shavingConstraints

public java.util.List<Constraint> shavingConstraints

It contains constraints which can be used to guide shaving.

n

public int n

It contains the order of the QCP being solved.

Constructor Detail

QCP

public QCP()

Method Detail

model

public void model()

Description copied from class: ExampleFD

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleFD

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

public static void test(java.lang.String[] args)

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

public static void main(java.lang.String[] args)

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.