addRule method

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

Implementation

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