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

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

Feature: testing cumulative.

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

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