/// <summary>
///Sets up all collections and other values before beginning to solve a bdd problem.
/// Must be called before solving a bdd problem.
/// Sets collection and cache to default sizes.
/// </summary>
public static void Setup()
{
data = new Data();
G = new BddGCache();
GAppEx = new BddGCache();
R = new BddRCache();
AllSetup();
}
/// <summary>
/// Sets up all collections and other values before beginning to solve a bdd problem.
/// Must be called before solving a bdd problem.
/// </summary>
/// <param name="startTableAllocation">Size of unique node collection.</param>
/// <param name="startCacheAllocation">Size of cache.</param>
public static void Setup(int startTableAllocation, int startCacheAllocation)
{
data = new Data(startTableAllocation);
G = new BddGCache(startCacheAllocation);
GAppEx = new BddGCache(startCacheAllocation);
R = new BddRCache(startCacheAllocation);
AllSetup();
}
