Searched refs:Z3_get_relation_arity (Results 1 – 7 of 7) sorted by relevance
35 get { return Native.Z3_get_relation_arity(Context.nCtx, NativeObject); }
155 unsigned Z3_API Z3_get_relation_arity(Z3_context c, Z3_sort s) { in Z3_get_relation_arity() function
4468 unsigned Z3_API Z3_get_relation_arity(Z3_context c, Z3_sort s);
4347 unsigned Z3_API Z3_get_relation_arity(Z3_context c, Z3_sort s);
4260 unsigned Z3_API Z3_get_relation_arity(Z3_context c, Z3_sort s);