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

Method getName

src/api/java/Sort.java:72–76  ·  view source on GitHub ↗

The name of the sort

()

Source from the content-addressed store, hash-verified

70 * The name of the sort
71 **/
72 public Symbol getName()
73 {
74 return Symbol.create(getContext(),
75 Native.getSortName(getContext().nCtx(), getNativeObject()));
76 }
77
78 /**
79 * A string representation of the sort.

Callers 1

commAxiomMethod · 0.95

Calls 4

createMethod · 0.95
getContextMethod · 0.80
nCtxMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected