// @requires env_ != null;
public void startEval(/*@non_null@*/ Eval data) {
// Note: we use the original env here, as given to chooseMode.
for (int i = 0; i < names_.length; i++) {
if (env_.isDefined(names_[i])) {
Expr value = data.args[i];
env_.setValue(names_[i], value);
}
}
debug("startEval with env=" + env_);
pred_.startEvaluation();
data_ = data;
state_ = State.Started;
}
