@Override public CompoundInterval visit( Variable<CompoundInterval> pVariable, Map<? extends String, ? extends InvariantsFormula<CompoundInterval>> pEnvironment) { InvariantsFormula<CompoundInterval> varState = pEnvironment.get(pVariable.getName()); if (varState == null) { return CompoundInterval.top(); } return varState.accept(this, pEnvironment); }
@Override protected CompoundInterval visitDefault( InvariantsFormula<CompoundInterval> pFormula, Map<? extends String, ? extends InvariantsFormula<CompoundInterval>> pParam) { return abstractionOf(pFormula.accept(EVALUATION_VISITOR, pParam)); }