@Override
public CompoundInterval visit(
Multiply<CompoundInterval> pMultiply,
Map<? extends String, ? extends InvariantsFormula<CompoundInterval>> pEnvironment) {
return weakMultiply(
pMultiply.getFactor1().accept(this, pEnvironment),
pMultiply.getFactor2().accept(this, pEnvironment));
}
@Override
public Boolean visit(Multiply<T> pMultiply, MemoryLocation pVarName) {
return pMultiply.getFactor1().accept(this, pVarName)
|| pMultiply.getFactor2().accept(this, pVarName);
}