updateRule method

void updateRule(
  1. Expr rule,
  2. Sym name
)

Update a named rule.

Implementation

void updateRule(Expr rule, Sym name) {
  _c._z3.fixedpoint_update_rule(
    _fp,
    _c._createAST(rule),
    _c._createSymbol(name),
  );
}