Package org.jacop.examples.fd
Class FurnitureMoving
- java.lang.Object
-
- org.jacop.examples.fd.ExampleFD
-
- org.jacop.examples.fd.FurnitureMoving
-
public class FurnitureMoving extends ExampleFD
It is a simple logic puzzle about furniture moving.- Version:
- 4.7
Problem from Marriott & Stuckey: 'Programming with constraints', page 112f
Feature: testing cumulative.
Also see http://www.hakank.org/JaCoP/
-
-
Constructor Summary
Constructors Constructor Description FurnitureMoving()
-
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 which solves this logic puzzle.void
model()
It specifies a standard way of modeling the problem.boolean
searchSpecific()
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 Detail
-
generateAll
private static final boolean generateAll
- See Also:
- Constant Field Values
-
starts
IntVar[] starts
-
endTimes
IntVar[] endTimes
-
-
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 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
-
-