getValue method

Expr getValue()

The value of this function entry.

Implementation

Expr getValue() {
  return _c._getExpr(_c._z3.func_entry_get_value(_e));
}