addConstInterp method

void addConstInterp(
  1. ConstVar v,
  2. Expr value
)

Assigns a value to the given constant.

Implementation

void addConstInterp(ConstVar v, Expr value) {
  _c._z3.add_const_interp(
    _model,
    _c._createFuncDecl(v.decl),
    _c._createAST(value),
  );
}