Class Patch1_2_0_copyToManyFactories

java.lang.Object
  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)