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

Method getContext

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

Source from the content-addressed store, hash-verified

66 }
67
68 Context getContext()
69 {
70 return m_ctx;
71 }
72
73 public static long[] arrayToNative(Z3Object[] a)
74 {

Callers 15

applyMethod · 0.80
incRefMethod · 0.80
addToReferenceQueueMethod · 0.80
addMethod · 0.80
toStringMethod · 0.80
incRefMethod · 0.80
addToReferenceQueueMethod · 0.80
mkDeclMethod · 0.80
getNumFieldsMethod · 0.80
getFieldDeclsMethod · 0.80
equalsMethod · 0.80
hashCodeMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected