@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault

Package org.sosy_lab.common.rationals

Java-Rationals is a library for working with rationals and extended rationals in Java.

Class Summary

Class	Description
ExtendedRational	This class represents "extended rational": rationals which allow for infinities, negative infinities and undefined numbers.
LinearExpression<T>	Simple sparse implementation for homogeneous linear expression of the form $\Sigma a_i x_i$, where $x_i$ is a set of variables and $a_i$ is a set of constants.
Rational	Rational class, throws IllegalArgumentException on unsupported operations (e.g.

Enum Summary

Enum	Description
ExtendedRational.NumberType