org.jacop.examples.fd

Class BasicLogicPascal

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.BasicLogicPascal

public class BasicLogicPascal
extends ExampleFD

It solves an arithmetic puzzle BASIC+LOGIC=PASCAL.

Version:

4.9

Find for the equation on the left what digits are represented by the letters different letters represent different digits

BASIC 9567 +LOGIC=======> +1085 PASCAL 10652

Author:

Radoslaw Szymanek

Field Summary

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

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
BasicLogicPascal()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) It executes the program to solve this puzzle.
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

BasicLogicPascal

public BasicLogicPascal()

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 this puzzle.

Parameters:

args - no arguments are read.