} else {
// If RMINUS is empty, we have to have 0.0, i.e. none of the
// rules in RPLUS offer real support and thus all literals in
// the loop should be zero.
consExp = new FuzzyConstantExpression(0.0);
}
return new FuzzyLiteral(1.0, 1.0, new FuzzyBinaryExpression(antecExp, consExp, new IW()));
} else {
// If there is no loop, this method shouldn't have been called, so
// we return an easy literal.
return new FuzzyLiteral(0.0, 0.0, new FuzzyConstantExpression(0.0));
}
}