org.jacop.examples.fd

Class DonaldGeraldRobert

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.DonaldGeraldRobert

public class DonaldGeraldRobert
extends ExampleFD

It specifies the logic puzzle (cryptogram) which need to satisfy the following equation that DONALD+GERALD=ROBERT.

The solution is provided below.

Donald 526485 Gerald=====> +197485 Robert 723970

Version:

4.9

Author:

Radoslaw Szymanek

Field Summary

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

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
DonaldGeraldRobert()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) It executes the program to solve cryptogram puzzle DONALD+GERALD=ROBERT.
void	model() It specifies a standard way of modeling the problem.

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

DonaldGeraldRobert

public DonaldGeraldRobert()

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

main

public static void main(String[] args)

It executes the program to solve cryptogram puzzle DONALD+GERALD=ROBERT.

Parameters:

args - no argument is used.