addRule method

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

Adds a rule to this solver.

Implementation

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