Package 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.8
-
-
Field Summary
-
Fields inherited from class org.jacop.examples.set.ExampleSet
cost, search, store, vars
-
-
Constructor Summary
Constructors Constructor Description Gardner()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static voidmain(java.lang.String[] args)It executes the program which solves this gardner problem.voidmodel()It specifies a standard way of modeling the problem.booleansearch()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
-
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
It executes the program which solves this gardner problem.- Parameters:
args- parameters (none)
-
model
public void model()
Description copied from class:ExampleSetIt specifies a standard way of modeling the problem.- Specified by:
modelin classExampleSet
-
search
public boolean search()
Description copied from class:ExampleSetIt specifies simple search method based on input order and lexigraphical ordering of values.- Overrides:
searchin classExampleSet- Returns:
- true if there is a solution, false otherwise.
-
-