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

Method toString

src/api/java/Sort.java:81–84  ·  view source on GitHub ↗

A string representation of the sort.

()

Source from the content-addressed store, hash-verified

79 * A string representation of the sort.
80 **/
81 @Override
82 public String toString() {
83 return Native.sortToString(getContext().nCtx(), getNativeObject());
84 }
85
86 /**
87 * Translates (copies) the sort to the Context {@code ctx}.

Callers 1

commAxiomMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected