Package org.jacop.examples.set
Class Steiner
java.lang.Object
org.jacop.examples.set.ExampleSet
org.jacop.examples.set.Steiner
It models and solves Steiner problem.
- Version:
- 4.9
-
Field Summary
FieldsFields inherited from class org.jacop.examples.set.ExampleSet
cost, search, store, vars
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.jacop.examples.set.ExampleSet
getSearch, getSearchVariables, getStore, printMatrix, searchAllAtOnce, searchAllOptimal, searchMasterSlave, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchWeightedDegree
-
Field Details
-
n
public int nIt specifies the length of the problem.
-
-
Constructor Details
-
Steiner
public Steiner()
-
-
Method Details
-
main
It executes the program which solves this Steiner problem.- Parameters:
args
- prameters (none)
-
model
public void model()Description copied from class:ExampleSet
It specifies a standard way of modeling the problem.- Specified by:
model
in classExampleSet
-
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 classExampleSet
- Returns:
- true if there is a solution, false otherwise.
-