Package org.jacop.examples.fd
Class WordGame
java.lang.Object
org.jacop.examples.fd.WordGame
Inspired by time spent together with Ralph Nemer. It was fun playing together. I also had fun solving this one
as CP problem ;).
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic class
WordGame.PrintListener<T extends Var>
It is a simple print listener to print every tenth solution encountered. -
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate static char[]
private static char[]
static void
static MDD
readDictionaryFor5LetterWords
(String file, IntVar[] list) It reads a dictionary for 5-letter words and creates an MDD representation of it for use by an extensional constraint.
-
Field Details
-
defaultDictionary
-
-
Constructor Details
-
WordGame
public WordGame()
-
-
Method Details
-
main
-
readDictionaryFor5LetterWords
It reads a dictionary for 5-letter words and creates an MDD representation of it for use by an extensional constraint.- Parameters:
file
- filename containing dictionary- Returns:
- the created MDD for 5-letter words
-
getUserGuessQuality
private static char[] getUserGuessQuality() -
getUserGuess
private static char[] getUserGuess()
-