MCPcopy Create free account
hub / github.com/Z3Prover/z3 / hashCode

Method hashCode

src/api/java/AST.java:68–72  ·  view source on GitHub ↗

The AST's hash code. @return A hash code

()

Source from the content-addressed store, hash-verified

66 * @return A hash code
67 **/
68 @Override
69 public int hashCode()
70 {
71 return Native.getAstHash(getContext().nCtx(), getNativeObject());
72 }
73
74 /**
75 * A unique identifier for the AST (unique among all ASTs).

Callers

nothing calls this directly

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected