Package 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.7
-
-
Constructor Summary
Constructors Constructor Description Steiner()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description 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 org.jacop.examples.set.ExampleSet
getSearch, getSearchVariables, getStore, printMatrix, searchAllAtOnce, searchAllOptimal, searchMasterSlave, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchWeightedDegree
-
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
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.
-
-