Esempi in C# (CSharp) per PAT.Common.Classes.CUDDLib PlatformInvoke.DD_InitialiseCUDD

Esempio n. 1

 /// <summary>
 /// Create CUDD with maxMemory in MB
 /// [ REFS: 'none', DEREFS: 'none' ]
 /// </summary>
 public static void InitialiseCUDD(int maxMemory, int uniqueSlots, int cacheSlots, double epsilon)
 {
     manager        = PlatformInvoke.DD_InitialiseCUDD(maxMemory, uniqueSlots, cacheSlots, epsilon);
     ZERO           = Constant(0);
     ONE            = Constant(1);
     PLUS_INFINITY  = PlusInfinity();
     MINUS_INFINITY = MinusInfinity();
     //PlatformInvoke.Cudd_SetStdoutToFile(manager, Environment.GetFolderPath(Environment.SpecialFolder.Desktop) + @"\out.txt");
 }