ExamplesJaCoP
Class Gardner

java.lang.Object
  ExamplesJaCoP.Example
      ExamplesJaCoP.Gardner

public class Gardner
extends Example

It specifies a simple Gardner problem which use set functionality from JaCoP.

Version:

3.0

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields inherited from class ExamplesJaCoP.Example

cost, search, store, vars

Constructor Summary

Gardner()

Method Summary

static void	main(java.lang.String[] args) It executes the program which solves this gardner problem.
void	model() It specifies a standard way of modeling the problem.
boolean	search() It specifies simple search method based on input order and lexigraphical ordering of values.

Methods inherited from class ExamplesJaCoP.Example

creditSearch, getSearch, getSearchVariables, getStore, printMatrix, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Gardner

public Gardner()

Method Detail

main

public static void main(java.lang.String[] args)

It executes the program which solves this gardner problem.

Parameters:

args -

model

public void model()

Description copied from class: Example

It specifies a standard way of modeling the problem.

Specified by:

model in class Example

search

public boolean search()

Description copied from class: Example

It specifies simple search method based on input order and lexigraphical ordering of values.

Overrides:

search in class Example

Returns:

true if there is a solution, false otherwise.