コード例 #1
0
 /** Clear the counterexample. */
 public void clear() {
   for (JDDNode dd : states) {
     JDD.Deref(dd);
   }
 }