Package 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.7
-
-
Constructor Summary
Constructors Constructor Description DonaldGeraldRobert()
-
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 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
-
-
-
-
Method Detail
-
model
public void model()
Description copied from class:ExampleFD
It specifies a standard way of modeling the problem.
-
main
public static void main(java.lang.String[] args)
It executes the program to solve cryptogram puzzle DONALD+GERALD=ROBERT.- Parameters:
args
- no argument is used.
-
-