Пример #1
0
 /// <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();
 }
Пример #2
0
 /// <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();
 }