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

Method getArity

src/api/java/RelationSort.java:28–31  ·  view source on GitHub ↗

The arity of the relation sort.

()

Source from the content-addressed store, hash-verified

26 * The arity of the relation sort.
27 **/
28 public int getArity()
29 {
30 return Native.getRelationArity(getContext().nCtx(), getNativeObject());
31 }
32
33 /**
34 * The sorts of the columns of the relation sort.

Callers 1

getColumnSortsMethod · 0.95

Calls 3

nCtxMethod · 0.80
getContextMethod · 0.80
getNativeObjectMethod · 0.80

Tested by

no test coverage detected