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

Method toInt

src/api/java/Status.java:49–52  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

47 }
48
49 public final int toInt()
50 {
51 return this.intValue;
52 }
53}

Callers 13

nextSplitMethod · 0.80
isIntMethod · 0.80
isRealMethod · 0.80
isBVMethod · 0.80
isRelationMethod · 0.80
isFiniteDomainMethod · 0.80
checkNativeObjectMethod · 0.80
checkNativeObjectMethod · 0.80
checkNativeObjectMethod · 0.80
checkNativeObjectMethod · 0.80
checkNativeObjectMethod · 0.80
checkNativeObjectMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected