Package org.jacop.examples.set
Class Gardner
java.lang.Object
org.jacop.examples.set.ExampleSet
org.jacop.examples.set.Gardner
It specifies a simple Gardner problem which use set functionality from JaCoP.
- Version:
- 4.9
-
Field Summary
Fields inherited from class org.jacop.examples.set.ExampleSet
cost, search, store, vars
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.jacop.examples.set.ExampleSet
getSearch, getSearchVariables, getStore, printMatrix, searchAllAtOnce, searchAllOptimal, searchMasterSlave, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchWeightedDegree
-
Constructor Details
-
Gardner
public Gardner()
-
-
Method Details
-
main
It executes the program which solves this gardner problem.- Parameters:
args
- parameters (none)
-
model
public void model()Description copied from class:ExampleSet
It specifies a standard way of modeling the problem.- Specified by:
model
in classExampleSet
-
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 classExampleSet
- Returns:
- true if there is a solution, false otherwise.
-