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

Method Tactic

src/api/java/Tactic.java:86–89  ·  view source on GitHub ↗
(Context ctx, long obj)

Source from the content-addressed store, hash-verified

84 }
85
86 Tactic(Context ctx, long obj)
87 {
88 super(ctx, obj);
89 }
90
91 Tactic(Context ctx, String name)
92 {

Callers

nothing calls this directly

Calls 2

mkTacticMethod · 0.80
nCtxMethod · 0.80

Tested by

no test coverage detected