org.jacop.examples.fd

Class TSP

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.TSP

public class TSP
extends ExampleFD

It models Travelling Salesman Problem (TSP).

Version:

4.9

Author:

Radoslaw Szymanek

Field Summary

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

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
TSP()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) It executes the program to solve this Travelling Salesman Problem.
void	model() It specifies a standard way of modeling the problem.
boolean	searchMaxRegretForMatrixOptimal() It uses MaxRegret variable ordering heuristic to search for a solution.

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

Constructor Detail

TSP

public TSP()

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

searchMaxRegretForMatrixOptimal

public boolean searchMaxRegretForMatrixOptimal()

It uses MaxRegret variable ordering heuristic to search for a solution.

Returns:

true if there is a solution, false otherwise.

main

public static void main(String[] args)

It executes the program to solve this Travelling Salesman Problem.

Parameters:

args - no argument is used.