/// <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"); }