ExamplesJaCoP
Class QCP

java.lang.Object
  ExamplesJaCoP.Example
      ExamplesJaCoP.QCP

public class QCP
extends Example

It solves QuasiGroup Completion Problem (QCP).

Author:

Radoslaw Szymanek

Field Summary

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.ArrayList<Constraint>	shavingConstraints It contains constraints which can be used to guide shaving.

Fields inherited from class ExamplesJaCoP.Example

cost, search, store, vars

Constructor Summary

QCP()

Method Summary

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 ExamplesJaCoP.Example

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

equals, 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.ArrayList<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: Example

It specifies a standard way of modeling the problem.

Specified by:

model in class Example

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.