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

Method apply

src/api/java/FuncDecl.java:374–378  ·  view source on GitHub ↗

Create expression that applies function to arguments.

(Expr<?> ... args)

Source from the content-addressed store, hash-verified

372 * Create expression that applies function to arguments.
373 **/
374 public Expr<R> apply(Expr<?> ... args)
375 {
376 getContext().checkContextMatch(args);
377 return Expr.create(getContext(), this, args);
378 }
379}

Callers 4

injAxiomMethod · 0.95
injAxiomAbsMethod · 0.95
proveExample1Method · 0.95
tupleExampleMethod · 0.95

Calls 3

createMethod · 0.95
checkContextMatchMethod · 0.80
getContextMethod · 0.80

Tested by

no test coverage detected