Z3
src/api/java/ModelDecRefQueue.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00020 class ModelDecRefQueue extends IDecRefQueue
00021 {
00022     protected void incRef(Context ctx, long obj)
00023     {
00024         try
00025         {
00026             Native.modelIncRef(ctx.nCtx(), obj);
00027         } catch (Z3Exception e)
00028         {
00029             // OK.
00030         }
00031     }
00032 
00033     protected void decRef(Context ctx, long obj)
00034     {
00035         try
00036         {
00037             Native.modelDecRef(ctx.nCtx(), obj);
00038         } catch (Z3Exception e)
00039         {
00040             // OK.
00041         }
00042     }
00043 };
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines