Class Patch1_2_0_copyToManyFactories

java.lang.Object
  extended by Patch1_2_0_copyToManyFactories

public class Patch1_2_0_copyToManyFactories
extends java.lang.Object


Constructor Summary
Patch1_2_0_copyToManyFactories()
           
 
Method Summary
static BDD[] multiCopyBDD(int[] managerIdxs, BDD toCopy)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Patch1_2_0_copyToManyFactories

public Patch1_2_0_copyToManyFactories()
Method Detail

multiCopyBDD

public static BDD[] multiCopyBDD(int[] managerIdxs,
                                 BDD toCopy)