/** Unwind the trail to given low water mark */ public void unwindTrail(int mark) { for (int i = trail.size() - 1; i >= mark; i--) { Node_RuleVariable var = (Node_RuleVariable) trail.get(i); var.unbind(); trail.remove(i); } }