public class TreeMoverConfig
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TreeMoverConfig.Heuristic |
Modifier and Type | Method and Description |
---|---|
TreeMoverConfig.Heuristic |
getHeuristic() |
static TreeMoverConfig |
getInstance() |
void |
setHeuristic(TreeMoverConfig.Heuristic heuristic) |
public static TreeMoverConfig getInstance()
public TreeMoverConfig.Heuristic getHeuristic()
public void setHeuristic(TreeMoverConfig.Heuristic heuristic)