public class HistoryTree extends HistoryStructure
Modifier and Type | Field and Description |
---|---|
protected ObjectPoolList<HistoryNode> |
nodePool |
Constructor and Description |
---|
HistoryTree() |
Modifier and Type | Method and Description |
---|---|
void |
clear() |
HistoryNode |
getNewHistoryNode(HistoryNode previousNode,
GuideUserAction action) |
java.lang.String |
toString() |
protected final ObjectPoolList<HistoryNode> nodePool
public HistoryTree()
public HistoryNode getNewHistoryNode(HistoryNode previousNode, GuideUserAction action) throws MaltChainedException
getNewHistoryNode
in class HistoryStructure
MaltChainedException
public void clear() throws MaltChainedException
clear
in class HistoryStructure
MaltChainedException
public java.lang.String toString()
toString
in class java.lang.Object
Copyright 2007-2017 Johan Hall, Jens Nilsson and Joakim Nivre.