18 package com.microsoft.z3;
23 class ASTMap
extends Z3Object
32 public boolean contains(AST k)
35 return Native.astMapContains(getContext().nCtx(), getNativeObject(),
47 public AST find(AST k)
49 return new AST(getContext(), Native.astMapFind(getContext().nCtx(),
50 getNativeObject(), k.getNativeObject()));
58 public void insert(AST k, AST v)
61 Native.astMapInsert(getContext().nCtx(), getNativeObject(), k.getNativeObject(),
69 public void erase(AST k)
71 Native.astMapErase(getContext().nCtx(), getNativeObject(), k.getNativeObject());
79 Native.astMapReset(getContext().nCtx(), getNativeObject());
87 return Native.astMapSize(getContext().nCtx(), getNativeObject());
95 public AST[] getKeys()
97 ASTVector av =
new ASTVector(getContext(), Native.astMapKeys(getContext().nCtx(), getNativeObject()));
104 public String toString()
108 return Native.astMapToString(getContext().nCtx(), getNativeObject());
109 }
catch (Z3Exception e)
111 return "Z3Exception: " + e.getMessage();
115 ASTMap(Context ctx,
long obj)
122 super(ctx, Native.mkAstMap(ctx.nCtx()));
void incAndClear(Context ctx, long o)
IDecRefQueue getASTMapDRQ()