Package org.jacop.examples.fd
Class FurnitureMoving
java.lang.Object
org.jacop.examples.fd.ExampleFD
org.jacop.examples.fd.FurnitureMoving
It is a simple logic puzzle about furniture moving.
- Version:
- 4.8
Problem from Marriott & Stuckey: 'Programming with constraints', page 112f
Feature: testing cumulative.
Also see http://www.hakank.org/JaCoP/
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic void
It executes the program which solves this logic puzzle.void
model()
It specifies a standard way of modeling the problem.boolean
It specifies search for that logic puzzle.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
-
Field Details
-
Constructor Details
-
FurnitureMoving
public FurnitureMoving()
-
-
Method Details
-
model
public void model()Description copied from class:ExampleFD
It specifies a standard way of modeling the problem. -
main
It executes the program which solves this logic puzzle.- Parameters:
args
- command arguments (none)
-
searchSpecific
public boolean searchSpecific()It specifies search for that logic puzzle.- Returns:
- true when solution is found false otherwise
-