/** Return next variation before this node. */
public static ConstNode getNextEarlierVariation(ConstNode node) {
ConstNode child = node;
node = node.getFatherConst();
while (node != null && node.variationAfter(child) == null) {
child = node;
node = node.getFatherConst();
}
if (node == null) return null;
return node.variationAfter(child);
}
/** Return next variation of this node. */
public static ConstNode getNextVariation(ConstNode node) {
ConstNode father = node.getFatherConst();
if (father == null) return null;
return father.variationAfter(node);
}
