These were not producing warnings in the Eclipse Oxygen GUI, and also produced no warnings from Tycho when running Maven tests on my local machine. However, they did result in errors under Travis-CI. I'm not sure why this inconsistency exists, but hopefully we have now fixed these raw-type uses in a way that makes everything happy. |
||
---|---|---|
.. | ||
AbstractOperator.java | ||
AbstractStatement.java | ||
AbstractVariable.java | ||
BasicUnaryStatement.java | ||
BitVectorVariable.java | ||
BooleanVariable.java | ||
FixedPointConstants.java | ||
IFixedPointSolver.java | ||
IFixedPointStatement.java | ||
IFixedPointSystem.java | ||
IVariable.java | ||
IntSetVariable.java | ||
TrueOperator.java | ||
UnaryOperator.java | ||
UnaryOr.java | ||
UnaryStatement.java | ||
package.html |