Euclidian remainder
Multiply two terms, using the MulTheory.mul
function
if necessary;
if any of the two terms is constant, normal Presburger
multiplication will be used.
Multiply two terms, using the MulTheory.mul
function
if necessary;
if any of the two terms is constant, normal Presburger
multiplication will be used.
Euclidian division
Exponentiation, with non-negative exponent.
Exponentiation, with non-negative exponent. Note that ^
binds only weakly in Scala, so usually one has to write (x^2)
with parentheses.
Euclidian division
Euclidian division, assuming the SMT-LIB semantics for division by zero.
Euclidian remainder
Euclidian remaining, assuming the SMT-LIB semantics for remainder by zero.
Floor division
Floor remainder
Truncation division
Truncation remainder
(Since version ) see corresponding Javadoc for more information.