Examples of cvc3.EmbeddedManager

Helps to enforce deallocation of a set of embedded objects See also Embedded.java Cvc3 requires on the C++ level that the ValidityChecker is destructed last, after all other Cvc3 objects (i.e. subclasses of Embedded). A 'simple' (but not too cheap) way to achieve this effect of deterministic deallocation in Java without introducing much error prone code is to register all embedded objects (except for the ValidityChecker) with an EmbeddedManager. When the ValidityChecker is deleted/finalized it uses the EmbeddedManager to destruct all other Cvc3 objects first.

    public ExprManagerMut getExprManager() throws Cvc3Exception {
  return new ExprManagerMut(jniGetExprManager(embedded()), embeddedManager());
    }


    public Expr nullExpr() throws Cvc3Exception {
  return new Expr(jniNullExpr(embedded()), embeddedManager());
    }

Examples of cvc3.EmbeddedManager

Related Classes of cvc3.EmbeddedManager