updateRule method

void updateRule(
  1. AST rule,
  2. Z3_symbol name
)

Implementation

void updateRule(AST rule, Z3_symbol name) {
  _c._z3.fixedpoint_update_rule(_fp, _c._createAST(rule), name);
}