org.jacop.examples.fd

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.

Author:

Michal Tonderski, Szymon Sieklucki, and Radoslaw Szymanek 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?

Field Summary

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

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
CalendarMen()

Method Summary

Modifier and Type	Method and Description
static void	main(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(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

Methods inherited from class java.lang.Object

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

Constructor Detail

CalendarMen

public CalendarMen()

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

modelBasic

public void modelBasic()

It creates a model of this logic puzzle using mostly primitive constraints.

test

public static void test(String[] args)

It executes the program solving this puzzle using two different models.

Parameters:

args - no arguments read.

main

public static void main(String[] args)

It executes the program solving this puzzle using the best approach.

Parameters:

args - no arguments read.