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

Method getName

src/api/java/FuncDecl.java:129–134  ·  view source on GitHub ↗

The name of the function declaration

()

Source from the content-addressed store, hash-verified

127 * The name of the function declaration
128 **/
129 public Symbol getName()
130 {
131
132 return Symbol.create(getContext(),
133 Native.getDeclName(getContext().nCtx(), getNativeObject()));
134 }
135
136 /**
137 * The number of parameters of the function declaration

Callers

nothing calls this directly

Calls 4

createMethod · 0.95
getContextMethod · 0.80
nCtxMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected