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

Method getNativeObject

src/api/java/Z3Object.java:56–59  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

54 void checkNativeObject(long obj) {}
55
56 long getNativeObject()
57 {
58 return m_n_obj;
59 }
60
61 static long getNativeObject(Z3Object s)
62 {

Callers 15

applyMethod · 0.80
incRefMethod · 0.80
addMethod · 0.80
toStringMethod · 0.80
incRefMethod · 0.80
UserPropagatorBaseMethod · 0.80
addMethod · 0.80
consequenceMethod · 0.80
nextSplitMethod · 0.80
mkDeclMethod · 0.80
getNumFieldsMethod · 0.80
getFieldDeclsMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected