Package org.sosy_lab.common.rationals

@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault package org.sosy_lab.common.rationals

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

Related Packages

Package	Description
org.sosy_lab.common	This package contains general utilities that do not fit anywhere else.

Class	Description
ExtendedRational	This class represents "extended rational": rationals which allow for infinities, negative infinities and undefined numbers.
ExtendedRational.NumberType
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.