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

Method getNumParameters

src/api/java/FuncDecl.java:139–142  ·  view source on GitHub ↗

The number of parameters of the function declaration

()

Source from the content-addressed store, hash-verified

137 * The number of parameters of the function declaration
138 **/
139 public int getNumParameters()
140 {
141 return Native.getDeclNumParameters(getContext().nCtx(), getNativeObject());
142 }
143
144 /**
145 * The parameters of the function declaration

Callers 1

getParametersMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected