Java JDD Examples

Example #1

File: CexPathAsBDDs.java Project: poizan42/PrismModelChecker

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

Example #2

File: CexPathAsBDDs.java Project: poizan42/PrismModelChecker

 /** Add a state to the path (as a BDD, which will be stored and Ref'ed). */
 public void addState(JDDNode state) {
   JDD.Ref(state);
   states.add(state);
 }