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

Method getRange

src/api/java/FuncDecl.java:110–115  ·  view source on GitHub ↗

The range of the function declaration

()

Source from the content-addressed store, hash-verified

108 * The range of the function declaration
109 **/
110 @SuppressWarnings("unchecked")
111 public R getRange()
112 {
113 return (R) Sort.create(getContext(),
114 Native.getRange(getContext().nCtx(), getNativeObject()));
115 }
116
117 /**
118 * The kind of the function declaration.

Callers 7

getFuncInterpMethod · 0.45
injAxiomMethod · 0.45
injAxiomAbsMethod · 0.45
commAxiomMethod · 0.45
injAxiomMethod · 0.45
injAxiomAbsMethod · 0.45
commAxiomMethod · 0.45

Calls 4

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

Tested by

no test coverage detected