fixedpoint_set_predicate_representation method

void fixedpoint_set_predicate_representation(
  1. Z3_context c,
  2. Z3_fixedpoint d,
  3. Z3_func_decl f,
  4. int num_relations,
  5. Pointer<Z3_symbol> relation_kinds,
)

\brief Configure the predicate representation.

It sets the predicate to use a set of domains given by the list of symbols. The domains given by the list of symbols must belong to a set of built-in domains.

def_API('Z3_fixedpoint_set_predicate_representation', VOID, (_in(CONTEXT), _in(FIXEDPOINT), _in(FUNC_DECL), _in(UINT), _in_array(3, SYMBOL)))

Implementation

void fixedpoint_set_predicate_representation(
  Z3_context c,
  Z3_fixedpoint d,
  Z3_func_decl f,
  int num_relations,
  ffi.Pointer<Z3_symbol> relation_kinds,
) {
  return _fixedpoint_set_predicate_representation(
    c,
    d,
    f,
    num_relations,
    relation_kinds,
  );
}