18package com.microsoft.z3;
20import com.microsoft.z3.enumerations.Z3_symbol_kind;
31 return Z3_symbol_kind.fromInt(Native.getSymbolKind(getContext().nCtx(),
54 if (o ==
this)
return true;
55 if (!(o instanceof
Symbol))
return false;
57 return this.getNativeObject() == other.getNativeObject();
66 return Integer.toString(((
IntSymbol)
this).getInt());
70 return "Z3Exception: Unknown symbol kind encountered.";
88 void addToReferenceQueue() {
93 static Symbol create(Context ctx,
long obj)
95 switch (
Z3_symbol_kind.fromInt(Native.getSymbolKind(ctx.nCtx(), obj)))
98 return new IntSymbol(ctx, obj);
100 return new StringSymbol(ctx, obj);
102 throw new Z3Exception(
"Unknown symbol kind encountered");
Symbol(Context ctx, long obj)
def String(name, ctx=None)
Z3_symbol_kind
The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See Z3_...