18 package com.microsoft.z3;
23 class ASTMap
extends Z3Object {
31 public boolean contains(AST k)
34 return Native.astMapContains(getContext().nCtx(), getNativeObject(),
46 public AST find(AST k)
48 return new AST(getContext(), Native.astMapFind(getContext().nCtx(),
49 getNativeObject(), k.getNativeObject()));
57 public void insert(AST k, AST v)
60 Native.astMapInsert(getContext().nCtx(), getNativeObject(), k.getNativeObject(),
68 public void erase(AST k)
70 Native.astMapErase(getContext().nCtx(), getNativeObject(), k.getNativeObject());
78 Native.astMapReset(getContext().nCtx(), getNativeObject());
86 return Native.astMapSize(getContext().nCtx(), getNativeObject());
94 public AST[] getKeys()
96 ASTVector av =
new ASTVector(getContext(), Native.astMapKeys(getContext().nCtx(), getNativeObject()));
106 return Native.astMapToString(getContext().nCtx(), getNativeObject());
109 ASTMap(Context ctx,
long obj)
116 super(ctx, Native.mkAstMap(ctx.nCtx()));
121 Native.astMapIncRef(getContext().nCtx(), getNativeObject());
125 void addToReferenceQueue() {
IDecRefQueue< ASTMap > getASTMapDRQ()
void storeReference(Context ctx, T obj)
def String(name, ctx=None)