Package io.github.cvc5

Class Context

java.lang.Object
io.github.cvc5.Context
@Deprecated public class Context extends Object
Deprecated.
Native memory is managed automatically. This class will be removed in a future release.
Legacy entry point for releasing native memory.

Native memory is now released automatically once the corresponding Java objects are no longer reachable, and can be released deterministically via deletePointer() or, for term managers, solvers, symbol managers and input parsers, via close().

  • Method Details

    • deletePointers

      @Deprecated public static void deletePointers()
      Deprecated.
      Native memory is released automatically once the corresponding Java objects are no longer reachable. Use deletePointer() or close() to release individual objects deterministically.
      Delete all native objects of all term managers, solvers, and objects derived from them, whether or not they are still referenced from Java.

      This method must be called by a single thread once no term manager and solver instance is in use anymore. Objects whose native counterpart has been deleted must not be used afterwards.