addEntry method

void addEntry(
  1. List<Expr> args,
  2. Expr value
)

Implementation

void addEntry(List<Expr> args, Expr value) {
  final vec = _c._z3.mk_ast_vector();
  _c._z3.ast_vector_inc_ref(vec);
  for (var i = 0; i < args.length; i++) {
    _c._z3.ast_vector_push(vec, _c._createAST(args[i]));
  }
  _c._z3.func_interp_add_entry(
    _f,
    vec,
    _c._createAST(value),
  );
  _c._z3.ast_vector_dec_ref(vec);
}