org.jacop.examples.set

Class Gardner

java.lang.Object

org.jacop.examples.set.ExampleSet

org.jacop.examples.set.Gardner

public class Gardner
extends ExampleSet

It specifies a simple Gardner problem which use set functionality from JaCoP.

Version:

4.2

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields inherited from class org.jacop.examples.set.ExampleSet

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
Gardner()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) It executes the program which solves this gardner problem.
void	model() It specifies a standard way of modeling the problem.
boolean	search() It specifies simple search method based on input order and lexigraphical ordering of values.

Methods inherited from class org.jacop.examples.set.ExampleSet

getSearch, getSearchVariables, getStore, printMatrix, searchAllAtOnce, searchAllOptimal, searchMasterSlave, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchWeightedDegree

Methods inherited from class java.lang.Object

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

Constructor Detail

Gardner

public Gardner()

Method Detail

main

public static void main(String[] args)

It executes the program which solves this gardner problem.

Parameters:

args -

model

public void model()

Description copied from class: ExampleSet

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleSet

search

public boolean search()

Description copied from class: ExampleSet

It specifies simple search method based on input order and lexigraphical ordering of values.

Overrides:

search in class ExampleSet

Returns:

true if there is a solution, false otherwise.