if (t instanceof BasedNumberValuation) {
BasedNumberValuation exState = (BasedNumberValuation)t;
for (Map.Entry<RTLVariable, BasedNumberElement> entry :
exState.getVariableValuation()) {
RTLVariable var = entry.getKey();
BasedNumberElement exVal = entry.getValue();
if (exVal.isTop() || exVal.isNumberTop())
continue;
if (state.getVariableValue(var).isTop()) {
if (strengthenedState == null) {
strengthenedState = new ValuationState(state);
}
strengthenedState.setVariableValue(var,
new IntervalElement(exVal.getRegion(),
exVal.getNumber()));
//logger.debug("Strengthened state " + state.getIdentifier() +
// " by setting " + var + " to " + state.getValue(var));
}
}
}