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

Method getNumFields

src/api/java/TupleSort.java:39–42  ·  view source on GitHub ↗

The number of fields in the tuple.

()

Source from the content-addressed store, hash-verified

37 * The number of fields in the tuple.
38 **/
39 public int getNumFields()
40 {
41 return Native.getTupleSortNumFields(getContext().nCtx(), getNativeObject());
42 }
43
44 /**
45 * The field declarations.

Callers 1

getFieldDeclsMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected