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