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.10

Problem from Marriott & Stuckey: 'Programming with constraints', page 112f

Feature: testing cumulative.

Also see http://www.hakank.org/JaCoP/

Field Summary

Fields

Modifier and Type

Field

Description

(package private) IntVar[]

endTimes

private static final boolean

generateAll

(package private) IntVar[]

starts

Fields inherited from class org.jacop.examples.fd.ExampleFD
cost, search, store, vars
Constructor Summary

Constructors

Constructor

Description

FurnitureMoving()
Method Summary

Modifier and Type

Method

Description

static void

main(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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- generateAll
  
  private static final boolean generateAll
  See Also:
  
  Constant Field Values
- starts
  
  IntVar[] starts
- endTimes
  
  IntVar[] endTimes
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.
  
  Specified by:
  
  model in class ExampleFD
- main
  
  public static void main(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