org.jacop.examples.set

Class Steiner

java.lang.Object

org.jacop.examples.set.ExampleSet

org.jacop.examples.set.Steiner

public class Steiner
extends ExampleSet

It models and solves Steiner problem.

Version:

4.2

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
int	n It specifies the length of the problem.

Fields inherited from class org.jacop.examples.set.ExampleSet

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
Steiner()

Method Summary

Modifier and Type	Method and Description
static void	main(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 org.jacop.examples.set.ExampleSet

getSearch, getSearchVariables, getStore, printMatrix, searchAllAtOnce, searchAllOptimal, searchMasterSlave, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchWeightedDegree

Methods inherited from class java.lang.Object

clone, equals, finalize, 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(String[] args)

It executes the program which solves this Steiner problem.

Parameters:

args -

model

public void model()

Description copied from class: ExampleSet

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleSet

search

public boolean search()

Description copied from class: ExampleSet

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

Overrides:

search in class ExampleSet

Returns:

true if there is a solution, false otherwise.