C# (CSharp) Microsoft.Z3 Context.Dispose Exemples

Dispose() public méthode

Disposes of the context.

public Dispose ( ) : void
Résultat	void

Exemple #1

 public void Dispose()
 {
     if (OwnsContext)
     {
         babble("Disposing Z3 context");
         Context.Dispose();
     }
 }

Exemple #2

Fichier : Program.cs Projet : perillaseed/z3

        /// <summary>
        /// "Hello world" example: create a Z3 logical context, and delete it.
        /// </summary>
        public static void SimpleExample()
        {
            Console.WriteLine("SimpleExample");

            using (Context ctx = new Context())
            {
                /* do something with the context */

                /* be kind to dispose manually and not wait for the GC. */
                ctx.Dispose();
            }
        }