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

Method equals

src/api/java/AST.java:34–44  ·  view source on GitHub ↗

Object comparison. @param o another AST

(Object o)

Source from the content-addressed store, hash-verified

32 * @param o another AST
33 **/
34 @Override
35 public boolean equals(Object o)
36 {
37 if (o == this) return true;
38 if (!(o instanceof AST)) return false;
39 AST casted = (AST) o;
40
41 return
42 (getContext().nCtx() == casted.getContext().nCtx()) &&
43 (Native.isEqAst(getContext().nCtx(), getNativeObject(), casted.getNativeObject()));
44 }
45
46 /**
47 * Object Comparison.

Callers 1

getMethod · 0.45

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected