Java DisjunctivePartitions.getBDDAutomata Examples

Example #1

File: DisjunctiveSearch.java Project: tthianniwet/JavaBDD_repackaged

 /** initialize a disjunctive search for the given partitions */
 public DisjunctiveSearch(DisjunctivePartitions dp) {
   this.dp = dp;
   this.manager = dp.getBDDAutomata();
 }