Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
mkTactic
Method · 0.80
nCtx
Method · 0.80
Tested by
no test coverage detected