for (Node n : steinerNodes) {
terminals.add(new SteinerNode(n.getId()));
}
// DPBFfromMM N = new DPBFfromMM(terminals);
BANKSfromMM N = new BANKSfromMM(terminals);
// STARfromMM N = new STARfromMM(terminals);
TopKSteinertrees.graph = this.getTopKGraph();
TopKSteinertrees.nodes = this.getTopKGraphNodes();
List<DirectedWeightedMultigraph<Node, LabeledLink>> results = new
LinkedList<DirectedWeightedMultigraph<Node, LabeledLink>>();
N.getTopKTrees(k);
DirectedWeightedMultigraph<Node, LabeledLink> processedTree = null;
for(ResultGraph tree: N.getResultQueue()){
// System.out.println(tree.getScore());
processedTree = getLabeledSteinerTree(tree);
if (processedTree != null) results.add(processedTree);
}