fixedpoint_add_constraint method

void fixedpoint_add_constraint(
  1. Z3_context c,
  2. Z3_fixedpoint d,
  3. Z3_ast e,
  4. int lvl,
)

Implementation

void fixedpoint_add_constraint(
  Z3_context c,
  Z3_fixedpoint d,
  Z3_ast e,
  int lvl,
) {
  return _fixedpoint_add_constraint(
    c,
    d,
    e,
    lvl,
  );
}