Class CalendarMen
- java.lang.Object
-
- org.jacop.examples.fd.ExampleFD
-
- org.jacop.examples.fd.CalendarMen
-
public class CalendarMen extends ExampleFD
It solves a simple logic puzzle about sport calendar.- Version:
- 4.7
Title: Calendar Men Author of a logic puzzle: Alex Knight Publication: Dell Logic Puzzles Issue: December, 1998 Page: 52 Stars: 5
To raise some money for college sports programs, students at a local junior college produced and sold an "Athlete of the Month" calendar. Each month of the year featured a photograph of a different man (first names are Antonio, Brett, Cliff, Dabney, Ed, Francisco, Griff, Harry, Ivor, John, Karl, and Lorenzo; last names are Moross, Nelsen, O'Rourke, Paulos, Quarello, Reede, Sheldon, Taylor, Uhler, Vickers, Wang and Xiao) engaged in a different sport (archery, badminton, croquet, football, golf, hockey, lacrosse, pole vaulting, rowing, squash, tennis, and volleyball). Can you find the full name and sport of each month's athlete?
-
-
Constructor Summary
Constructors Constructor Description CalendarMen()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
It executes the program solving this puzzle using the best approach.void
model()
It specifies a standard way of modeling the problem.void
modelBasic()
It creates a model of this logic puzzle using mostly primitive constraints.static void
test(java.lang.String[] args)
It executes the program solving this puzzle using two different models.-
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
-
-
-
-
Method Detail
-
model
public void model()
Description copied from class:ExampleFD
It specifies a standard way of modeling the problem.
-
modelBasic
public void modelBasic()
It creates a model of this logic puzzle using mostly primitive constraints.
-
test
public static void test(java.lang.String[] args)
It executes the program solving this puzzle using two different models.- Parameters:
args
- no arguments read.
-
main
public static void main(java.lang.String[] args)
It executes the program solving this puzzle using the best approach.- Parameters:
args
- no arguments read.
-
-