/** Clear the counterexample. */ public void clear() { for (JDDNode dd : states) { JDD.Deref(dd); } }