ExamplesJaCoP
Class Steiner

java.lang.Object
  extended by ExamplesJaCoP.Example
      extended by ExamplesJaCoP.Steiner

public class Steiner
extends Example

It models and solves Steiner problem.

Version:
3.0
Author:
Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary
 int n
          It specifies the length of the problem.
 
Fields inherited from class ExamplesJaCoP.Example
cost, search, store, vars
 
Constructor Summary
Steiner()
           
 
Method Summary
static void main(java.lang.String[] args)
          It executes the program which solves this Steiner 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
 

Field Detail

n

public int n
It specifies the length of the problem.

Constructor Detail

Steiner

public Steiner()
Method Detail

main

public static void main(java.lang.String[] args)
It executes the program which solves this Steiner 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.