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

Method getNumerator

src/api/java/RatNum.java:30–34  ·  view source on GitHub ↗

The numerator of a rational numeral.

()

Source from the content-addressed store, hash-verified

28 * The numerator of a rational numeral.
29 **/
30 public IntNum getNumerator()
31 {
32 return new IntNum(getContext(), Native.getNumerator(getContext().nCtx(),
33 getNativeObject()));
34 }
35
36 /**
37 * The denominator of a rational numeral.

Callers 3

getBigIntNumeratorMethod · 0.95
basicTestsMethod · 0.95
basicTestsMethod · 0.95

Calls 3

getContextMethod · 0.80
nCtxMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected